Polymorphic subtyping in O'Haskell

DOI10.1016/S0167-6423(02)00026-6zbMath1016.68020MaRDI QIDQ700972

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)

Related Items (3)

Implementing a computer algebra system in Haskell ⋮ 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