Normalization for a Subset of Scheme using Type Predicates (Summary)

Abstract

Normalisering ved evaluering

Originalsprog	Engelsk
Titel	Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation
Udgivelsessted	Aarhus
Forlag	BRICS Notes Series NS-98-1
Publikationsdato	1998
Sider	35-36
Status	Udgivet - 1998

@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",

}

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 -