Autor(en): | Brachthäuser, Jonathan Immanuel; Odersky, M.; Lhoták, O.; Lee, E.; Boruch-Gruszecki, A. | |
Tübinger Autor(en): |
|
|
Erschienen in: | ACM Transactions on Programming Languages and Systems (2023), Bd. 45, H. 4 | |
Verlagsangabe: | ACM | |
Sprache: | Englisch | |
ISSN: | 0164-0925 | |
DDC-Klassifikation: | 004 - Informatik | |
Dokumentart: | Wissenschaftlicher Artikel | |
Zur Langanzeige |