Normalization by evaluation with typed abstract syntax

DOI10.1017/S0956796801004166zbMath1037.68095OpenAlexW1986661643MaRDI QIDQ3150210

Morten Rhiger, Olivier Danvy, Kristoffer H. Rose

Publication date: 2001

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796801004166

zbMATH Keywords

Haskell

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

A Compiled Implementation of Normalization by Evaluation

Uses Software

• Haskell

This page was built for publication: Normalization by evaluation with typed abstract syntax