Benutzer: Gast  Login
Titel:

A compiled implementation of normalisation by evaluation

Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
AEHLIG, KLAUS; HAFTMANN, FLORIAN; NIPKOW, TOBIAS
Zeitschriftentitel:
Journal of Functional Programming
Jahr:
2012
Band / Volume:
22
Heft / Issue:
01
Seitenangaben Beitrag:
9-30
Volltext / DOI:
doi:10.1017/S0956796812000019
E-ISSN:
1469-7653
Hinweise:
Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFGgeförderten) Allianz- bzw. Nationallizenz frei zugänglich. This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively
 BibTeX