Scoped Capabilities for Polymorphic Effects

DSpace Repositorium (Manakin basiert)

Scoped Capabilities for Polymorphic Effects

Autor(en): Odersky, Martin; Boruch-Gruszecki, Aleksander; Lee, Edward; Lhoták, Ondřej; Brachthäuser, Jonathan
Tübinger Autor(en):
Brachthäuser, Jonathan
Erscheinungsjahr: 2022-07-22
Verlagsangabe: arXiv
Sprache: Englisch
Referenz zum Volltext: https://doi.org/10.48550/arXiv.2207.03402
DDC-Klassifikation: 004 - Informatik
Dokumentart: Preprint
Zur Langanzeige

Das Dokument erscheint in: