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

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record