Normalization by evaluation with typed abstract syntax
From MaRDI portal
Publication:3150210
DOI10.1017/S0956796801004166zbMath1037.68095MaRDI QIDQ3150210
Olivier Danvy, Morten Rhiger, Kristoffer H. Rose
Publication date: 2001
Published in: Journal of Functional Programming (Search for Journal in Brave)
68Q65: Abstract data types; algebraic specification
Related Items
Uses Software