dc.contributor.author |
Brachthäuser, Jonathan Immanuel |
|
dc.contributor.author |
Schuster, Philipp |
|
dc.date.accessioned |
2023-07-14T06:37:36Z |
|
dc.date.available |
2023-07-14T06:37:36Z |
|
dc.date.issued |
2022-04-29 |
|
dc.identifier.uri |
http://hdl.handle.net/10900/143398 |
|
dc.language.iso |
en |
de_DE |
dc.publisher |
ACM |
de_DE |
dc.relation.uri |
https://doi.org/10.1145/3527320 |
de_DE |
dc.subject.ddc |
004 |
de_DE |
dc.title |
Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back |
de_DE |
dc.type |
Article |
de_DE |
utue.publikation.seiten |
1-30 |
de_DE |
utue.personen.roh |
Brachthäuser, Jonathan |
|
utue.personen.roh |
Schuster, Philipp |
|
utue.personen.roh |
Lee, Edward |
|
utue.personen.roh |
Boruch-Gruszecki, Aleksander |
|
dcterms.isPartOf.ZSTitelID |
Proceedings of the ACM on Programming Languages |
de_DE |
dcterms.isPartOf.ZS-Issue |
OOPSLA1 |
de_DE |
dcterms.isPartOf.ZS-Volume |
6 |
de_DE |