Polymorphic Fractional Capabilities
Abstract elided by the publisher.
Related papers
- Effects as capabilities: effect handlers and lightweight effect polymorphism OOPSLA 2020
- Functional translation of a calculus of capabilities ICFP 2008
- Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala JFP 2020
- Dynamic Optimistic Interprocedural Analysis: A Framework and an Application OOPSLA 2001
- Use at your own risk: the Java unsafe API in the wild OOPSLA 2015
- Abstract Read Permissions: Fractional Permissions without the Fractions VMCAI 2013
- Polymorphic type inference for machine code PLDI 2016
- Checking Interference with Fractional Permissions SAS 2003