Variations on Safety
No abstract available.
Related papers
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi JFP 2021
- Safety and conservativity of definitions in HOL and Isabelle/HOL POPL 2018
- Monadic regions JFP 2006
- Trace Typing: An Approach for Evaluating Retrofitted Type Systems ECOOP 2016
- Featherweight Java: a minimal core calculus for Java and GJ TOPLAS 2001
- A Language for Software Variation Research SLE 2010
- A variational database management system GPCE 2021
- A language for software variation research GPCE 2010