- Formal neighbourhoods, combinatory Bøhm trees, and untyped normalization by evaluation Peter Dybjer Denis Kuperberg Wed 13 May 2020
- Constructive Completeness Proofs and Delimited Control Danko Ilik Thu 02 April 2020
- Efficient normalization by evaluation Mathieu Boespflug Wed 03 May 2017
- Normalization by Evaluation in the Delay Monad: A Case Study for Coinduction via Copatterns and Sized Types Andreas Abel James Chapman Wed 03 May 2017
- The Simple Type Theory of Normalisation by Evaluation René Vestergaard Wed 03 May 2017
- Normalization by Evaluation Dependent Types and Impredicativity Andreas Abel Wed 03 May 2017
- Typeful Normalization by Evaluation Olivier Danvy Chantal Keller Matthias Puech Wed 03 May 2017
- Normalisation by Evaluation Ulrich Berger Matthias Eberl Helmut Schwichtenberg Wed 03 May 2017
- Intuitionistic Model Constructions and Normalization Proofs Thierry Coquand Peter Dybjer Wed 03 May 2017
- Normalization by hereditary substitutions Chantal Keller Thorsten Altenkirch Wed 03 May 2017
- Normalisation by Evaluation for Dependent Types Thorsten Altenkirch Ambrus Kaposi Wed 03 May 2017
- Normalization by Evaluation for Typed Lambda Calculus with Coproducts T. Altenkirch P. Dybjer M. Hofmannz P. Scott Wed 03 May 2017
- Term rewriting for normalization by evaluation Ulrich Berger Matthias Eberl Helmut Schwichtenberg Mon 01 May 2017
- Normalization by Evaluation and Algebraic Effects Danel Ahman Sam Staton Sat 28 December 2013
- Bøhm Trees as Higher-Order Recursive Schemes Pierre Clairambault Andrzej S. Murawski Tue 24 December 2013
- Operational aspects of untyped Normalisation by Evaluation Klaus Aehlig Felix Joachimski Thu 13 June 2013
- A Compiled Implementation of Normalization by Evaluation Klaus Aehlig Florian Haftmann Tobias Nipkow Tue 11 June 2013
- Normalization by evaluation with typed abstract syntax Olivier Danvy Morten Rhiger Kristoffer H. Rose Tue 11 June 2013
- Normalization by Evaluation for Thorsten Altenkirch Tarmo Uustalu Tue 11 June 2013
- Normalization and Partial Evaluation Peter Dybjer Andrzej Filinski Mon 10 June 2013
- Type-directed partial evaluation Olivier Danvy Mon 10 June 2013
- An inverse of the evaluation functional for typed lambda-calculus U. Berger H. Schwichtenberg Mon 10 June 2013
- A Denotational Account of Untyped Normalization by Evaluation Andrzej Filinski Henning Korsholm Rohde Mon 10 June 2013
Library Size: 13G (23 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
