Constructive Mathematics and Functional Programming (Abstract)
No abstract available.
Related papers
- Categorical semantics for arrows JFP 2009
- Preface JFP 2009
- Typing Algorithm in Type Theory with Inheritance POPL 1997
- Operators TOPLAS 1979
- Functional declarative language design and predicate calculus: a practical approach TOPLAS 2005
- Programming Languages, Natural Languages, and Mathematics POPL 1975
- On the Multi-Language Construction ESOP 2019
- Higher Inductive Types as Homotopy-Initial Algebras POPL 2015