Normalization for a Subset of Scheme using Type Predicates (Summary)
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Standard
Normalization for a Subset of Scheme using Type Predicates (Summary). / Mogensen, Torben Ægidius.
Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus : BRICS Notes Series NS-98-1, 1998. s. 35-36.Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Harvard
Mogensen, TÆ 1998, Normalization for a Subset of Scheme using Type Predicates (Summary). i Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. BRICS Notes Series NS-98-1, Aarhus, s. 35-36.
APA
Mogensen, T. Æ. (1998). Normalization for a Subset of Scheme using Type Predicates (Summary). I Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation (s. 35-36). BRICS Notes Series NS-98-1.
Vancouver
Mogensen TÆ. Normalization for a Subset of Scheme using Type Predicates (Summary). I Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation. Aarhus: BRICS Notes Series NS-98-1. 1998. s. 35-36
Author
Bibtex
@inbook{3460da6074ca11dbbee902004c4f4f50,
title = "Normalization for a Subset of Scheme using Type Predicates (Summary)",
abstract = "Normalisering ved evaluering",
author = "Mogensen, {Torben {\AE}gidius}",
year = "1998",
language = "English",
pages = "35--36",
booktitle = "Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation",
publisher = "BRICS Notes Series NS-98-1",
}
RIS
TY - CHAP
T1 - Normalization for a Subset of Scheme using Type Predicates (Summary)
AU - Mogensen, Torben Ægidius
PY - 1998
Y1 - 1998
N2 - Normalisering ved evaluering
AB - Normalisering ved evaluering
M3 - Book chapter
SP - 35
EP - 36
BT - Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation
PB - BRICS Notes Series NS-98-1
CY - Aarhus
ER -
ID: 212955