Capturing Types

Autor(en):

Boruch-Gruszecki, Aleksander; Odersky, Martin; Lee, Edward; Lhotak, Ondrej; Brachthaeuser, Jonathan

Tübinger Autor(en):

Erschienen in:

Acm Transactions on Programming Languages and Systems (2023), Bd. 45, H. 4

Verlagsangabe:

New York : Assoc Computing Machinery

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

0164-0925

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: