Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Autor(en):

Brachthäuser, Jonathan Immanuel; Binder, David; Parreaux, Lionel; Bhanuka, Ishan

Tübinger Autor(en):

Erschienen in:

Proceedings of the ACM on Programming Languages (2023-10), Bd. 7, Issue OOPSLA2, S. 431–459

Verlagsangabe:

ACM

Sprache:

Englisch

Referenz zum Volltext:

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: