A call-by-need lambda calculus
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1995 |
| Sprache | Englisch |
| Identifikator | urn:nbn:de:swb:90-AAA3677960 KITopen-ID: 367796 |
| Erschienen in | Proceedings. 22nd ACM Symposium on Principles of Programming Languages, POPL 95, 1995 |
| Seiten | 233-246 |