- 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
- Pragmatics of type-directed partial evaluation Olivier Danvy Wed 03 May 2017
- Intuitionistic Model Constructions and Normalization Proofs Thierry Coquand Peter Dybjer Wed 03 May 2017
- A Semantic Account of Type-Directed Partial Evaluation Andrzej Filinski Wed 03 May 2017
- Normalization by hereditary substitutions Chantal Keller Thorsten Altenkirch Wed 03 May 2017
- Big-step Normalisation Thorsten Altenkirch James Chapman Wed 03 May 2017
- Memoization in Type-Directed Partial Evaluation Vincent Balat Olivier Danvy 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
- Deriving Algorithms from Type Inference Systems: Application to Strictness Analysis Chris Hankin Daniel Le Métayer Sun 30 April 2017
- Datafun: A Functional Datalog Michael Arntzenius Neelakantan R. Krishnaswami Sun 30 April 2017
- A Syntactic Method for Finding Least Fixed Points of Higher-order Functions over Finite Domains Tyng-Ruey Chuang Benjamin Goldberg Sun 30 April 2017
- Computing Quantiles in Markov Chains with Multi-Dimensional Costs Christoph Haase Stefan Kiefer Markus Lohrey Thu 27 April 2017
- Language Constructs for Non-Well-Founded Computation Jean-Baptiste Jeannin Dexter Kozen Alexandra Silva Wed 26 April 2017
Library Size: 13G (12984 entries),
Last Updated: Apr 23, 2026, 21:48:37,
Build Time: N/A
