Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference
|
Author:
|
Brachthäuser, Jonathan Immanuel; Binder, David; Parreaux, Lionel; Bhanuka, Ishan
|
|
Tübinger Autor(en):
|
|
|
Published in:
|
Proceedings of the ACM on Programming Languages
(2023-10), Bd.
7,
Issue OOPSLA2,
S.
431–459
|
|
Verlagsangabe:
|
ACM
|
|
Language:
|
English
|
|
Full text:
|
https://doi.org/10.5281/zenodo.8332129
|
|
DDC Classifikation:
|
004 - Data processing and computer science
|
|
Dokumentart:
|
Article
|
|
Show full item record
|
