Normalization by Evaluation for λ →2
- 1 January 2004
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- The view from the leftJournal of Functional Programming, 2004
- Reduction-free normalisation for a polymorphic systemPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Normalization by evaluation for typed lambda calculus with coproductsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Normalization and Partial EvaluationLecture Notes in Computer Science, 2002
- Equality between Functionals in the Presence of CoproductsInformation and Computation, 2000
- Categorical reconstruction of a reduction free normalization proofLecture Notes in Computer Science, 1995
- βη-Equality for coproductsPublished by Springer Science and Business Media LLC ,1995
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986