Generalising the BETA Type System
No abstract available.
Related papers
- Semantics of pattern unification JFP 2025
- Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization ESOP 1996
- Verifiable Certificates for Predicate Subtyping ESOP 2019
- Type Fixpoints: Iteration vs. Recursion ICFP 1999
- The when, why and why not of the BETA programming language HOPL 2007
- Backward Type Inference Generalises Type Checking SAS 2002
- Closure Analysis in Constraint Form TOPLAS 1995
- Programming up to Congruence POPL 2015