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

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Normalisering ved evaluering
OriginalsprogEngelsk
TitelPreliminary Proceedings of the 1998 APPSEM Workshop on Normalization by Evaluation
UdgivelsesstedAarhus
ForlagBRICS Notes Series NS-98-1
Publikationsdato1998
Sider35-36
StatusUdgivet - 1998

ID: 212955