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 |