Login
- Document type:
- Zeitschriftenaufsatz
- Author(s):
- AEHLIG, KLAUS; HAFTMANN, FLORIAN; NIPKOW, TOBIAS
- Title:
- A compiled implementation of normalisation by evaluation
- Journal title:
- Journal of Functional Programming
- Year:
- 2012
- Journal volume:
- 22
- Journal issue:
- 01
- Pages contribution:
- 9-30
- Fulltext / DOI:
- doi:10.1017/S0956796812000019
- E-ISSN:
- 1469-7653
- Notes:
- 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
Occurrences: