An Imperative, First-Order Calculus with Object Extension
No abstract available.
DOI 10.1007/bfb0054104
Related papers
- Compilation and Equivalence of Imperative Objects JFP 1999
- Higher-Order Spreadsheets with Spilled Arrays ESOP 2020
- A Calculus for Assignments in Higher-Order Languages POPL 1987
- Integrating Linear and Dependent Types POPL 2015
- Bisimilarity for a First-Order Calculus of Objects with Subtyping POPL 1996
- A calculus of module systems JFP 2002
- Correctness of Monadic State: An Imperative Call-by-Need Calculus POPL 1998
- Type Specialization for Imperative Languages ICFP 1997