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

dc.contributor.author	Brachthäuser, Jonathan Immanuel
dc.contributor.author	Binder, David
dc.date.accessioned	2024-02-21T08:27:06Z
dc.date.available	2024-02-21T08:27:06Z
dc.date.issued	2023-10
dc.identifier.uri	http://hdl.handle.net/10900/151202
dc.language.iso	en	de_DE
dc.publisher	ACM	de_DE
dc.relation.uri	https://doi.org/10.5281/zenodo.8332129	de_DE
dc.subject.ddc	004	de_DE
dc.title	Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference	de_DE
dc.type	Article	de_DE
utue.publikation.seiten	431–459	de_DE
utue.personen.roh	Brachthäuser, Jonathan Immanuel
utue.personen.roh	Binder, David
utue.personen.roh	Parreaux, Lionel
utue.personen.roh	Bhanuka, Ishan
dcterms.isPartOf.ZSTitelID	Proceedings of the ACM on Programming Languages	de_DE
dcterms.isPartOf.ZS-Issue	Issue OOPSLA2	de_DE
dcterms.isPartOf.ZS-Volume	7	de_DE