Polymorphic subtyping in O'Haskell

DOI10.1016/S0167-6423(02)00026-6zbMATH Open1016.68020MaRDI QIDQ700972FDOQ700972

Authors: Johan Nordlander 

Publication date: 16 October 2002

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

Recommendations

• Implementation of Functional Languages
• Polymorphism, subtyping, and type inference in MLsub
• Pragmatic subtyping in polymorphic languages
• Pragmatic subtyping in polymorphic languages
• Polymorphic type inference with overloading and subtyping
• scientific article; zbMATH DE number 1222572
• Polymorphic lambda calculus and subtyping.
• Polymorphic types in functional logic programming
• Optimal representations of polymorphic types with subtyping

zbMATH Keywords

O'Haskell

Mathematics Subject Classification ID

Theory of programming languages (68N15) Abstract data types; algebraic specification (68Q65)

Cited In (7)

• Pragmatic subtyping in polymorphic languages
• A high-level Haskell Java interface
• Subtyping recursion and parametric polymorphism in kernel Fun
• Implementing a computer algebra system in Haskell
• Implementation of Functional Languages
• HasCasl: integrated higher-order specification and program development
• Expander2: program verification between interaction and automation

Uses Software

• Haskell

This page was built for publication: Polymorphic subtyping in O'Haskell

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