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

Autor(en):

Lee, Edward; Zhao, Yaoyu; Lhoták Ondřej; Satheeskumar, Kavin; Brachthäuser, Jonathan Immanuel

Tübinger Autor(en):

Erschienen in:

Proceedings of the ACM on Programming Languages, Volume 8, Issue OOPSLA1 (2024-04), Bd. 115, S. 583 - 612

Verlagsangabe:

ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: