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

dc.contributor.author	Brachthäuser, Jonathan
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