Polymorphic subtyping in O'Haskell
2002 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 43, no 2-3, 93-127 p.Article in journal (Refereed) Published
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 find their way with its polymorphic subtyping system. This paper describes the type system of O'Haskell both formally and from a programmer's point of view; the latter task is accomplished with the aid of an illustrative, real-world programming example: a strongly typed interface to the graphical toolkit Tk.
Place, publisher, year, edition, pages
2002. Vol. 43, no 2-3, 93-127 p.
Research subject Dependable Communication and Computation Systems
IdentifiersURN: urn:nbn:se:ltu:diva-14804DOI: 10.1016/S0167-6423(02)00026-6Local ID: e393f0e0-e148-11db-b0f8-000ea68e967bOAI: oai:DiVA.org:ltu-14804DiVA: diva2:987777
Validerad; 2002; 20070227 (ysko)2016-09-292016-09-29Bibliographically approved