Scripting the type inference process

DOI10.1145/944705.944707zbMATH Open1315.68050OpenAlexW2122537103MaRDI QIDQ5261262FDOQ5261262

Authors: Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra 

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

Recommendations

• Explaining type inference
• Systematic identification and communication of type errors
• Guided Type Debugging
• Hindley-Milner elaboration in applicative style (functional pearl)
• Skalpel: a type error slicer for standard ML

zbMATH Keywords

constraintstype inferencetype errorsdirectivesdomain-specific programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (9)

• Source-tracking unification
• Improving type error messages for generic Java
• Combinator Parsing: A Short Tutorial
• Trends in trends in functional programming 1999/2000 versus 2007/2008
• Implementing type systems for the IDE with Xsemantics
• Integrating typed and untyped code in a scripting language
• Improving type error reporting for type classes
• Type checking for JavaScript
• Skalpel: a constraint-based type error slicer for standard ML

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261262)