Capturing Types

DSpace Repositorium (Manakin basiert)

Capturing Types

Autor(en): Brachthäuser, Jonathan Immanuel; Odersky, M.; Lhoták, O.; Lee, E.; Boruch-Gruszecki, A.
Tübinger Autor(en):
Brachthäuser, Jonathan Immanuel
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

Das Dokument erscheint in: