Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

DSpace Repositorium (Manakin basiert)

Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back

Autor(en): Brachthäuser, Jonathan; Schuster, Philipp; Lee, Edward; Boruch-Gruszecki, Aleksander
Tübinger Autor(en):
Brachthäuser, Jonathan
Schuster, Philipp
Erschienen in: Proceedings of the ACM on Programming Languages (2022-04-29), Bd. 6, H. OOPSLA1, S. 1-30
Verlagsangabe: ACM
Sprache: Englisch
Referenz zum Volltext: https://doi.org/10.1145/3527320
DDC-Klassifikation: 004 - Informatik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: