Observers for linear type
| Zugehörige Institution(en) am KIT | Institut für Programmstrukturen und Datenorganisation (IPD) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1996 |
| Sprache | Englisch |
| Identifikator | ISBN: 3-540-55253-7 urn:nbn:de:swb:90-AAA3679963 KITopen-ID: 367996 |
| Erschienen in | Proceedings. ESOP '92, 4th European Symposium on Programming, Rennes, France 1992. Ed.: B. Krieg-Brückner |
| Verlag | Springer-Verlag |
| Seiten | 390-407 |
| Serie | Lecture notes in computer science ; 582 |