|
H ?
«
‹
←
→
›
»
Language peer sets for O'Haskell: United States↑ United States/2002↑ Designed 2002 ↑ 2000s languages ↑ Internet↑ New internationlism↑ O'Haskell(ID:3545/oha001)alternate simple viewCountry: United States Designed 2002 Polymorphic subtyping in O'Haskell Johan Nordlander Department of Computer Science and Engineering, Oregon Graduate Institute of Science and Technology, 20000 NW Walker Road, Beaverton, OR 97006, USA Available online 6 February 2002. Abstract 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. Author Keywords: Type inference; Subtyping; Polymorphism; Haskell; Graphical toolkit This Document Abstract $Order Document -------------------------------------------------------------------------------- Actions Cited By Save as Citation Alert Export Citation Science of Computer Programming Volume 43, Issues 2-3, May-June 2002, Pages 93-127 Structures: Related languages
Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE ACM portal CiteSeer CSB ncstrl jstor Bookfinder |