Scripting the type inference process

DOI10.1145/944705.944707zbMath1315.68050OpenAlexW2122537103MaRDI QIDQ5261262

S. Doaitse Swierstra, Jurriaan Hage, Bastiaan Heeren

Publication date: 2 July 2015

Published in: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/944705.944707

zbMATH Keywords

constraintstype inferencetype errorsdirectivesdomain-specific programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Related Items (7)

Improving type error reporting for type classes ⋮ Trends in trends in functional programming 1999/2000 versus 2007/2008 ⋮ Improving type error messages for generic Java ⋮ Skalpel: a constraint-based type error slicer for standard ML ⋮ Combinator Parsing: A Short Tutorial ⋮ Implementing type systems for the IDE with Xsemantics ⋮ Source-tracking unification

This page was built for publication: Scripting the type inference process