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

Author:

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

Tübinger Autor(en):

Published in:

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

Verlagsangabe:

ACM

Language:

English

Full text:

DDC Classifikation:

004 - Data processing and computer science

Dokumentart:

Article

This item appears in the following Collection(s)