Explaining Polymorphic Types

DOI10.1093/COMJNL/45.4.436zbMATH Open1037.68019OpenAlexW1876174594MaRDI QIDQ3148232FDOQ3148232

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

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

zbMATH Keywords

reliabilitycode reusesemantic errors

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Cited In (4)

• Explaining type inference
• Improving type error messages for generic Java
• Termination checking with types
• 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)