A compiled implementation of normalisation by evaluation

Benutzer: Gast

Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: AEHLIG, KLAUS; HAFTMANN, FLORIAN; NIPKOW, TOBIAS
Titel:: A compiled implementation of normalisation by evaluation
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

Vorkommen: