The Essence of Functional Programming on Semantic Data
Abstract elided by the publisher.
Related papers
- The Essence of Generalized Algebraic Data Types POPL 2024
- The Functional Essence of Imperative Binary Search Trees PLDI 2024
- The essence of online data processing OOPSLA 2022
- The essence of ornaments JFP 2017
- The Essence of Functional Programming POPL 1992
- The Essence of Data Access in Comega ECOOP 2005
- The Logical Essence of Well-Bracketed Control Flow POPL 2024
- The Essence of ML POPL 1988