Polymorphic subtyping in O'Haskell

DOI10.1016/S0167-6423(02)00026-6MaRDI QIDQ700972zbMATH OpenFDO

Authors Johan Nordlander

Publication date 16 October 2002

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

zbMATH Keywords

O'Haskell

Mathematics Subject Classification ID

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

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

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

Describes a project that uses

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)