Static Extensionality Checking for Lambda-Definable Functions Over Lattices
No abstract available.
Related papers
- Static Monotonicity Analysis for lambda-Definable Functions. over Lattices APLAS 2001
- Static Monotonicity Analysis for lambda-definable Functions over Lattices VMCAI 2002
- Fixpoint games on continuous lattices POPL 2019
- The calculus of dependent lambda eliminations JFP 2017
- Embedded interpreters JFP 2005
- Generic Polymorphism POPL 1995
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums POPL 2004
- From Datalog to flix: a declarative language for fixed points on lattices PLDI 2016