KIT | KIT-Bibliothek | Impressum
Open Access Logo
§
Volltext
URN: urn:nbn:de:swb:90-AAA724940

Call-by-name, assignment, and the lambda calculus

Odersky, Martin; Rabin, Dan; Hudak, Paul



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Proceedingsbeitrag
Jahr 1994
Sprache Englisch
Identifikator KITopen ID: 72494
Erschienen in Proceedings. 20th ACM Symposium on Principles of Programming Languages, Charleston, SC 1993
Seiten 43-56
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page