Just Forget It - The Semantics and Enforcement of Information Erasure
Abstract elided by the publisher.
Related papers
- TASTyTruffle: Just-in-Time Specialization of Parametric Polymorphism OOPSLA 2023
- Intensional Polymorphism in Type-Erasure Semantics ICFP 1998
- Intensional polymorphism in type-erasure semantics JFP 2002
- Practical principled FRP: forget the past, change the future, FRPNow! ICFP 2015
- A dependently typed calculus with pattern matching and erasure inference ICFP 2020
- Type-safe run-time polytypic programming JFP 2006
- A Graded Modal Dependent Type Theory with a Universe and Erasure, Formalized ICFP 2023
- Information effects POPL 2012