Explaining type inference

DOI10.1016/0167-6423(95)00007-0MaRDI QIDQ1919354zbMATH OpenOpenAlexFDO

Authors Dominic Duggan, Frederick Bent

Publication date 5 August 1996

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(95)00007-0

zbMATH Keywords

type inferencescripting languageslogic program debuggerssemantics-based programming environments

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Recommendations

• Explaining Polymorphic Types
• Type inference in polymorphic type discipline
• Type inference for polymorphic references
• scientific article; zbMATH DE number 177779
• Type inference using constraint handling rules

Cited in

(15)

• ptype: probabilistic type inference
• Source-tracking unification
• A review of type inference methods based on machine learning
• scientific article; zbMATH DE number 785045 (Why is no real title available?)
• Improving type error messages for generic Java
• Proofs of a set of hybrid let-polymorphic type inference algorithms
• Explaining Polymorphic Types
• Improving type error reporting for type classes
• scientific article; zbMATH DE number 1956460 (Why is no real title available?)
• Towards a formal framework for heterogeneous relation algebra
• Scripting the type inference process
• Type Inference of Simple Recursive Functions in Scala
• Skalpel: a constraint-based type error slicer for standard ML
• Systematic identification and communication of type errors
• Explaining ML Type Errors by Data Flows

This page was built for publication: Explaining type inference

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