scientific article; zbMATH DE number 2090556

zbMATH Open1045.68034MaRDI QIDQ4812992FDOQ4812992

Authors: Emmanuel Coquery, François Fages 

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2401/24010480.htm

Title of this publication is not available (Why is that?)

Recommendations

• Polymorphic type inference with overloading and subtyping
• Polymorphism, subtyping, and type inference in MLsub
• Pragmatic subtyping in polymorphic languages
• Pragmatic subtyping in polymorphic languages
• scientific article; zbMATH DE number 1088035
• A calculus for overloaded functions with subtyping
• scientific article; zbMATH DE number 3881858
• Optimal representations of polymorphic types with subtyping
• Principal type schemes for functional programs with overloading and subtyping
• scientific article; zbMATH DE number 1696584

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication:

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