Call-by-name, assignment, and the lambda calculus
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1994 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA724940 KITopen-ID: 72494 |
| Erschienen in | Proceedings. 20th ACM Symposium on Principles of Programming Languages, Charleston, SC 1993 |
| Seiten | 43-56 |