Polymorphic subtyping in O'Haskell

O'Haskell is a programming language derived from Haskell by the addition of concurrent reactive objects and subtyping. Because Haskell already encompasses an advanced type system with polymorphism and overloading, the type system of O'Haskell is much richer than what is the norm in almost any widespread object-oriented or functional language. Yet, there is strong evidence that O'Haskell is not a complex language to use, and that both Java and Haskell programmers can easily

• Type: Journal
• Year: 2002
• Where: SCP
• Authors: Johan Nordlander
• Keywords: Concurrent Reactive Objects, O'Haskell, SCP 2002, Type System