Succour to the Confused Deputy - Types for Capabilities
Abstract elided by the publisher.
Related papers
- Type Errors Confuse the Programmer (Poster Abstract) ICFP 1998
- Adding structure to monoids: thus hopefully ending Haskell's string type confusion Haskell 2013
- Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems ESOP 2013
- The ODMG Object Model: Does it Make Sense? OOPSLA 1997
- On understanding data abstraction, revisited OOPSLA 2009
- Coarse-grained transactions POPL 2010
- Perturbation confusion in forward automatic differentiation of higher-order functions JFP 2019
- Practical Type Inference with Levels PLDI 2025