The Essence of Form Abstraction
Abstract elided by the publisher.
Related papers
- The Essence of Reactivity Haskell 2023
- The Essence of Higher-Order Concurrent Separation Logic ESOP 2017
- The Essence of Compiling with Continuations PLDI 1993
- Director Strings as Combinators TOPLAS 1988
- The Essence of Nested Composition ECOOP 2018
- The Simple Essence of Monomorphization OOPSLA 2025
- The essence of compiling with traces POPL 2011
- The Lattice-Theoretic Essence of Property Directed Reachability Analysis CAV 2022