Scripting the type inference process

DOI10.1145/944705.944707MaRDI QIDQ5261262zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

constraintstype inferencetype errorsdirectivesdomain-specific programming

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

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

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)