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

DSpace Repository

Show simple item record

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


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