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

DSpace Repository

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

Author: Brachthäuser, Jonathan; Schuster, Philipp; Lee, Edward; Boruch-Gruszecki, Aleksander
Tübinger Autor(en):
Brachthäuser, Jonathan Immanuel
Schuster, Philipp
Published in: Proceedings of the ACM on Programming Languages (2022-04-29), Bd. 6, H. OOPSLA1, S. 1-30
Verlagsangabe: ACM
Language: English
Full text: https://doi.org/10.1145/3527320
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)