Implementing the Call-By-Value Lambda-Calculus using a Stack of Regions

Mads Tofte, Jean-Pierre Talpin

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

OriginalsprogEngelsk
TitelProceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
ForlagAssociation for Computing Machinery
Publikationsdato1994
Sider188-201
StatusUdgivet - 1994

Citationsformater