Explaining Polymorphic Types

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

Phil W. Trinder, Yang Jun, Greg Michaelson

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)

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

   Recommendations

• Explaining type inference 👍 👎
• Title not available (Why is that?) 👍 👎
• Type inference for polymorphic references 👍 👎
• Polymorphic type inference with overloading and subtyping 👍 👎
• Basic polymorphic typechecking 👍 👎

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)