Explaining Polymorphic Types

DOI10.1093/COMJNL/45.4.436MaRDI QIDQ3148232zbMATH OpenOpenAlexFDO

Authors Yang Jun, Greg Michaelson, Phil W. Trinder

Publication date 2002

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/45.4.436

zbMATH Keywords

reliabilitycode reusesemantic errors

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Explaining type inference
• scientific article; zbMATH DE number 4090764
• Type inference for polymorphic references
• Polymorphic type inference with overloading and subtyping
• Basic polymorphic typechecking

Cited in

(5)

• Explaining type inference
• Improving type error messages for generic Java
• Termination checking with types
• Programming examples needing polymorphic recursion
• Skalpel: a constraint-based type error slicer for standard ML

This page was built for publication: Explaining Polymorphic Types

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