Qualifying System F<:: Some Terms and Conditions May Apply

dc.contributor.author	Brachthäuser, Jonathan Immanuel
dc.date.accessioned	2024-07-19T09:00:42Z
dc.date.available	2024-07-19T09:00:42Z
dc.date.issued	2024-04
dc.identifier.uri	http://hdl.handle.net/10900/155203
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.1145/3649832	de_DE
dc.subject.ddc	004	de_DE
dc.title	Qualifying System F<:: Some Terms and Conditions May Apply	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	583 - 612	de_DE
utue.personen.roh	Lee, Edward
utue.personen.roh	Zhao, Yaoyu
utue.personen.roh	Lhoták Ondřej
utue.personen.roh	Satheeskumar, Kavin
utue.personen.roh	Brachthäuser, Jonathan Immanuel
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA1	de_DE
dcterms.isPartOf.ZS-Volume	115	de_DE