Categorical Reconstruction of a Reduction Free Normalization Proof

Type-directed partial evaluation

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

A type-directed, on-line, partial evaluator for a polymorphic language

PEPM '97 Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

A uniform semantic proof for cut-elimination and completeness of various first and higher order logics

Theoretical Computer Science

Semantic analysis of normalisation by evaluation for typed lambda calculus

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

Memoization in Type-Directed Partial Evaluation

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering

Type-Directed Partial Evaluation

Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School

Normalisation by Evaluation

Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters

Formalising Formulas-as-Types-as-Objects

TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs

Normalization and Partial Evaluation

Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures

Reduction-free normalisation for a polymorphic system

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Term rewriting for normalization by evaluation

Information and Computation - Special issue: ICC '99

Normalization and the Yoneda embedding

Mathematical Structures in Computer Science

Intuitionistic model constructions and normalization proofs

Mathematical Structures in Computer Science

Normalization by evaluation with typed abstract syntax

Journal of Functional Programming

Operational aspects of untyped Normalisation by Evaluation

Mathematical Structures in Computer Science

Big-step normalisation

Journal of Functional Programming

Normalization by evaluation for the computational lambda-calculus

TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications

Tait in one big step

MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming

Normalization by Evaluation and Algebraic Effects

Electronic Notes in Theoretical Computer Science (ENTCS)