Normalization by evaluation with typed abstract syntax

Authors
Danvy, O Rhiger, M Rose, KH
Citation
O. Danvy et al., Normalization by evaluation with typed abstract syntax, J FUNCT PRO, 11, 2001, pp. 673-680
Citations number
21
Categorie Soggetti
Computer Science & Engineering
Journal title
JOURNAL OF FUNCTIONAL PROGRAMMING
ISSN journal
09567968 → ACNP
Volume
11
Year of publication
2001
Part
6
Pages
673 - 680
Database
ISI
SICI code
0956-7968(200111)11:<673:NBEWTA>2.0.ZU;2-Y