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):

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:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: