| Alternate document: Details System Design For Contiguous Cell Coverage In High Density Microcellular Networks (95) Brendan C. Jones, et al. |
Mark P. Jones  Home/Search
Context Related
| softlab.ntua.gr/~nickie/...fpca93.ps.gz 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: softlab.ntua.gr/~nickie/haskel... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a flexible type system which combines overloading and higher-order polymorphism in an implicitly typed language using a system of constructor classes -- a natural generalization of type classes in Haskell. We present a wide range of examples which demonstrate the usefulness of such a system. In particular, we show how constructor classes can be used to support the use of monads in a functional language. The underlying type system permits higher-order polymorphism but... (Update)
Cited by: More
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Modular Type Classes - Derek Dreyer Toyota (2006) (Correct)
Covariant Types - Barry Jay School (1997) (Correct)
Active bibliography (related documents): More All
0.3: The Marriage of Effects and Monads - Wadler (1998) (Correct)
0.3: ML typing, explicit polymorphism and qualified types - Jones (1994) (Correct)
0.3: Coherence for Qualified Types - Jones (1993) (Correct)
Similar documents based on text: More All
0.5: On the expressive power of Constructor Classes - Duponcheel, Meijer (1995) (Correct)
0.1: Constraints to Stop Higher-Order Deforestation - Seidl, Sørensen (1997) (Correct)
0.1: Sound And Complete Translations From Sorted Higher-Order Logic.. - Kerber (1994) (Correct)
Related documents from co-citation: More All
32: How to make adhoc polymorphism less ad-hoc - Wadler, Blott - 1989
28: The essence of functional programming - Wadler - 1992
23: A theory of type polymorphism in programming (context) - Milner - 1978
BibTeX entry: (Update)
Jones, M.P. 1995. A system of constructor classes: overloading and implicit higher-order polymorphism. In Journal of Functional Programming 5(1) - January 1995, Cambridge University Press, pp. 1-35. http://citeseer.ist.psu.edu/jones95system.html More
@inproceedings{ jones93system,
author = "Mark P. Jones",
title = "{A} system of constructor classes: overloading and implicit higher-order polymorphism",
booktitle = "{FPCA} '93: Conference on Functional Programming and Computer Architecture, Copenhagen, Denmark",
publisher = "ACM Press",
address = "New York, N.Y.",
pages = "52--61",
year = "1993",
url = "citeseer.ist.psu.edu/jones95system.html" }
Citations (may not include all citations):634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
293 The essence of functional programming - Wadler - 1992
257 Report on the programming language Haskell (context) - Hudak, Jones et al. - 1992
190 How to make ad-hoc polymorphism less ad-hoc - Wadler, Blott - 1989
89 A gentle introduction to Haskell - Hudak, Fasel - 1992
49 A theory of qualified types - Jones - 1992
39 Introduction to generalized type systems (context) - Barendregt - 1991
32 Parametric type classes (context) - Chen, Hudak et al. - 1992
26 Science of Computer Programming (context) - Spivey, theory et al. - 1990
24 Programming Research Group (context) - Jones, Theory et al. - 1992
7 ACM conference on LISP and Functional Programming (context) - Wadler - 1990
5 IEEE Symposium on Logic in Computer Science (context) - Moggi, monads - 1989
4 Inheritance and coercion (context) - Breazu-Tannen, Coquand et al. - 1989
1 Programming with constructor classes (context) - Jones - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.softlab.ntua.gr/~nickie/haskell/): More
A Dynamic Semantics for Haskell - Hammond, Hall (1992) (Correct)
A static semantics for Haskell - Simon Peyton (1992) (Correct)
FP + OOP = Haskell - Berger (1992) (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