An Extended Theory of Primitive Objects: FIrst Order System
No abstract available.
Related papers
- A Theory of Primitive Objects - Scond-Order Systems ESOP 1994
- A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming ESOP 2025
- Higher-Order Spreadsheets with Spilled Arrays ESOP 2020
- A theory of higher-order subtyping with type intervals ICFP 2021
- A Confluent Reduction for the lambda-Calculus with Surjective Pairing and Terminal Object JFP 1996
- AtomCaml: first-class atomicity via rollback ICFP 2005
- An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories POPL 2026
- Normalisation for First-Class Universe Levels POPL 2026