![](/img/cover-not-exists.png)
Normalization by evaluation with typed abstract syntax
DANVY, OLIVIER, RHIGER, MORTEN, ROSE, KRISTOFFER H.Volume:
11
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796801004166
Date:
November, 2001
File:
PDF, 160 KB
english, 2001