Typeful Normalization by Evaluation

DOI10.4230/LIPIcs.TYPES.2014.72zbMath1367.68051OpenAlexW2281674668MaRDI QIDQ5277972

Chantal Keller, Matthias Puech, Olivier Danvy

Publication date: 12 July 2017

Full work available at URL: https://prosecco.gforge.inria.fr/personal/ckeller/Documents-recherche/Publications/types14.pdf

zbMATH Keywords

partial evaluationnormalization by evaluationcontinuation-passing stylegeneralized algebraic data types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• OCaml

This page was built for publication: Typeful Normalization by Evaluation