Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

17

SCP
2002

favoriteEmaildiscussreport

119views more SCP 2002»

Polymorphic subtyping in O'Haskell

13 years 4 months ago

Polymorphic subtyping in O'Haskell

Download staff.www.ltu.se

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

Johan Nordlander

Real-time Traffic

Concurrent Reactive Objects | O'Haskell | SCP 2002 | Type System |

claim paper

Related Content

» Subtyping Recursive Types in Kernel Fun

» Aspects and polymorphism in AspectJ

» Phantom types and subtyping

» Subtyping FirstClass Polymorphic Components

» Subtyping and Parametricity

» An Extension of System F with Subtyping

» Subtypes vs Where Clauses Constraining Parametric Polymorphism

» Optimal Representations of Polymorphic Types with Subtyping Extended Abstract

» A Usage Analysis with Bounded Usage Polymorphism and Subtyping

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	2002
Where	SCP
Authors	Johan Nordlander

Comments (0)