Capturing Types

dc.contributor.author	Brachthäuser, Jonathan Immanuel
dc.date.accessioned	2024-02-21T08:37:13Z
dc.date.available	2024-02-21T08:37:13Z
dc.date.issued	2023
dc.identifier.issn	0164-0925
dc.identifier.uri	http://hdl.handle.net/10900/151207
dc.language.iso	en	de_DE
dc.publisher	ACM	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	Odersky, M.
utue.personen.roh	Lhoták, O.
utue.personen.roh	Lee, E.
utue.personen.roh	Boruch-Gruszecki, A.
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