Capturing Types

dc.contributor.author	Brachthäuser, Jonathan Immanuel
dc.date.accessioned	2024-02-21T08:27:03Z
dc.date.available	2024-02-21T08:27:03Z
dc.date.issued	2023-11-22
dc.identifier.uri	http://hdl.handle.net/10900/151201
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.1145/3618003	de_DE
dc.subject.ddc	004	de_DE
dc.title	Capturing Types	de_DE
dc.type	Article	de_DE
utue.personen.roh	Brachthäuser, Jonathan Immanuel
utue.personen.roh	Lhoták, Ondřej
utue.personen.roh	Lee, Edward
utue.personen.roh	Boruch-Gruszecki, Aleksander
dcterms.isPartOf.ZSTitelID	ACM Transactions on Programming Languages and Systems	de_DE
dcterms.isPartOf.ZS-Issue	4	de_DE
dcterms.isPartOf.ZS-Volume	45	de_DE