Extensional Universal Types for Call-by-Value
No abstract available.
Related papers
- Types are Not Sets POPL 1973
- Embedded interpreters JFP 2005
- ANF preserves dependent types up to extensional equality JFP 2022
- Call-by-name extensionality and confluence JFP 2017
- Dependent Ghosts Have a Reflection for Free ICFP 2024
- Observational equality: now for good POPL 2022
- How to safely use extensionality in Liquid Haskell Haskell 2022
- Large model constructions for second-order ZF in dependent type theory CPP 2018