Higher-Order Hierarchies
No abstract available.
DOI 10.1007/978-3-540-45070-2_14
Related papers
- Rethinking a heap hierarchy as a cache hierarchy: a higher-order theory of memory demand (HOTM) ISMM 2016
- The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming ESOP 2017
- Complete trace models of state and control ESOP 2021
- Dependent types for JavaScript OOPSLA 2012
- Representing Java Classes in a Typed Intermediate Language ICFP 1999
- Type Universes as Kripke Worlds ICFP 2025
- Delaying decisions in variable concern hierarchies GPCE 2016
- Refinement types for TypeScript PLDI 2016