Change search
ReferencesLink to record
Permanent link

Direct link
Polymorphic subtyping in O'Haskell
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.
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
Abstract [en]

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
URN: urn:nbn:se:ltu:diva-14804DOI: 10.1016/S0167-6423(02)00026-6Local ID: e393f0e0-e148-11db-b0f8-000ea68e967bOAI: diva2:987777
Validerad; 2002; 20070227 (ysko)Available from: 2016-09-29 Created: 2016-09-29Bibliographically approved

Open Access in DiVA

fulltext(233 kB)1 downloads
File information
File name FULLTEXT01.pdfFile size 233 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Nordlander, Johan
By organisation
Computer Science
In the same journal
Science of Computer Programming

Search outside of DiVA

GoogleGoogle Scholar
Total: 1 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link