Adding Equations to System F Types
No abstract available.
Related papers
- Partial type constructors: or, making ad hoc datatypes less ad hoc POPL 2020
- Closed type families with overlapping equations POPL 2014
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023
- Pyrosome: Verified Compilation for Modular Metatheory OOPSLA 2025
- On Proving Inductive Properties of Abstract Data Types POPL 1980
- From ML type inference to stratified type inference ICFP 2005
- Remarks on the equational theory of non-normalizing pure type systems JFP 2006
- Completion of a Set of Rules Modulo a Set of Equations POPL 1984