Johan Nordlander  Home/Search
Context
Related
| ogi.edu/~nordland/scp.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ogi.edu/~nordland/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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... (Update)
Similar documents (at the sentence level):
26.3%: Polymorphic Subtyping in O'Haskell - Nordlander (2000) (Correct)
11.4%: Pragmatic Subtyping in Polymorphic Languages - Nordlander (1997) (Correct)
Active bibliography (related documents): More All
0.9: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.6: How Good is Local Type Inference? - Hosoya, Pierce (1999) (Correct)
0.4: Colored Local Type Inference - Odersky, Zenger, Zenger (2001) (Correct)
Similar documents based on text: More All
0.1: Reactive Objects - Nordlander, Jones, Carlsson.. (Correct)
0.1: Modular Self-stabilization of Network Protocols - A case-study.. - Nordlander (Correct)
0.0: A Rendezvous of Functions and Reactive Objects - Escaping.. - Nordlander, Carlsson (1997) (Correct)
BibTeX entry: (Update)
@misc{ nordlander-polymorphic,
author = "Johan Nordlander",
title = "Polymorphic Subtyping in O'Haskell",
url = "citeseer.ist.psu.edu/nordlander01polymorphic.html" }
Citations (may not include all citations):1074 The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
861 Tcl and Tk Toolkit - Ousterhout - 1994
809 A Theory of Type Polymorphism in Programming (context) - Milner - 1978
388 On understanding types (context) - Cardelli, Wegner - 1985
314 Type inference with constrained types (context) - Martin, Martin - 1999
238 Pizza into Java: Translating Theory into Practice - Odersky, Wadler - 1997
187 Type inclusion constraints and type inference - Aiken, Wimmers - 1993
174 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
170 ACM Transactions on Programming Languages and Systems (context) - Martelli, Montanari et al. - 1982
156 First-Class Polymorphism with Type Inference - Jones - 1997
88 Theory and Practice of Object Systems (context) - Bruce, Cardelli et al. - 1996
85 Type inference with simple subtypes (context) - Mitchell - 1991
82 Coercion and type inference (context) - Mitchell - 1984
72 Sound Polymorphic Type Inference for Objects - Eifrig, Smith et al. - 1995
68 Subtyping constrained types - Trifonov, Smith - 1996
61 Local type inference - Pierce, Turner - 1998
58 Type inference in the presence of overloading (context) - Kaes - 1992
52 Simplifying subtyping constraints - Pottier - 1996
41 Objective ML: A simple object-oriented extension of ML (context) - Remy, Vouillon - 1997
38 Using Parameterized Signatures to Express Modular Structure - Jones - 1996
36 Principal type schemes for functional programs with overload.. - Smith - 1994
36 A practical subtyping system for Erlang - Marlow, Wadler - 1997
34 Polymorphic subtype inference: Closing the theorypractice ga.. (context) - Fuh, Mishra - 1989
30 Theoretical Computer Science (context) - Fuh, Mishra et al. - 1990
28 Simplifying subtyping constraints: a theory - Pottier - 2000
25 Type-checking higher-order polymorphic multi-methods - Bourdoncle, Merz - 1997
24 Simple objects for Standard ML - Reppy, Riecke - 1996
20 Polymorphic Type Inference and Abstract Data Types (context) - Laufer - 1992
19 Minimal typings in atomic subtyping - Rehof - 1997
17 A framework for type inference with subtyping - Pottier - 1998
15 Colored Local Type Inference - Odersky, Zenger et al. - 2001
14 Pragmatic Subtyping in Polymorphic Languages - Nordlander - 1998
14 Type inference with extended pattern matching and subtypes (context) - Jategaonkar, Mitchell - 1993
10 How good is local type inference (context) - Hosoya, Pierce - 1999
9 Reactive Objects in a Functional Language -- An escape from .. - Nordlander, Carlsson - 1997
8 Simple usage polymorphism - Wansbrough, Jones - 2000
7 Polymorphic type inference (context) - Leviant - 1983
6 Syntactic properties of polymorphic subtyping - Henglein - 1996
6 The Haskell Home Page (context) - Peterson - 1997
4 Technical Report Research report (context) - Cardelli, of - 1993
4 Nested types - Odersky, Zenger - 2001
3 Department of Computer Science (context) - Nordlander, Functional et al. - 1999
2 Type Inference with Bounded Quantification (context) - Sequeira - 1998
2 Implementing Graphical Paradigms in TkGofer (context) - Claessen, Meijer et al.
2 School of Computer Science (context) - Freeman, for et al. - 1994
1 Fudgets -- A Graphical User Interface in a Functional Langua.. (context) - Carlsson, Hallgren - 1993
1 Extensible Records for Haskell (context) - Jones, Jones
1 Making set-constraint program analyses scale - Fahndrich, Aiken - 1996
Documents on the same site (http://www.cse.ogi.edu/~nordland/): More
Reactive Objects in a Functional Language - An escape from .. - Nordlander, Carlsson (1997) (Correct)
Polymorphic Subtyping in O'Haskell - Nordlander (2000) (Correct)
Reactive Objects - Nordlander, Jones, Carlsson.. (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC