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:
|
https://doi.org/10.5281/zenodo.8332129
|
|
DDC-Klassifikation:
|
004 - Informatik
|
|
Dokumentart:
|
Wissenschaftlicher Artikel
|
|
Zur Langanzeige
|
