Principal type schemes for functional programs with overloading and subtyping

DOI10.1016/0167-6423(94)00020-4zbMath0830.68053OpenAlexW2058279444MaRDI QIDQ1346684

Geoffrey S. Smith

Publication date: 10 April 1995

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

Full work available at URL: https://doi.org/10.1016/0167-6423(94)00020-4

zbMATH Keywords

strongly connected componentstransitive reductionshape unification

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10)

Related Items (3)

Lower bounds on type checking overloading ⋮ Type-based flow analysis and context-free language reachability ⋮ Subtyping constrained types

This page was built for publication: Principal type schemes for functional programs with overloading and subtyping