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

Abstract

Normalisering ved evaluering

Original language	English
Title of host publication	Preliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation
Place of Publication	Aarhus
Publisher	BRICS Notes Series NS-98-1
Publication date	1998
Pages	35-36
Publication status	Published - 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 -