Philip Wadler, Stephen Blott  Home/Search
Context Related
Links: ACM | belllabs.com/~blott/Postsc...POPL89.ps belllabs.com/user/blott/Po...POPL89.ps belllabs.com/cm/cs/who/w...class.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: belllabs.com/~blott/ (more) From: belllabs.com/user/blott/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper presents type classes, a new approach to ad-hoc polymorphism. Type classes permit overloading of arithmetic operators such as multiplication, and generalise the "eqtype variables" of Standard ML. Type classes extend the Hindley/Milner polymorphic type system, and provide a new approach to issues that arise in object-oriented programming, bounded type quantification, and abstract data types. This paper provides an informal introduction to type classes, and defines them formally by... (Update)
Cited by: More
Unknown - Type Prod List (Correct)
Algorithm Specialization in Generic Programming -.. - Järvi, Gregor.. (2006) (Correct)
Compiling Polymorphism Using Intensional Type - Analysis Robert Harper (Correct)
Active bibliography (related documents): More All
0.3: Theorems for Free! - Wadler (1989) (Correct)
0.3: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.3: Backend to the Xloopn screen editor - Hodgson (1994) (Correct)
Similar documents based on text: More All
0.2: ADHOC: a Tool for Performing Effective Feature Selection - Richeldi, Lanzi (1996) (Correct)
0.2: SPIDER Retrieval System at TREC-5 - Ballerini, Büchel, Domenig, Knaus.. (1996) (Correct)
0.2: Deriving Very Short Queries for High Precision and .. - Cormack, Palmer.. (1998) (Correct)
Related documents from co-citation: More All
28: A theory of type polymorphism in programming (context) - Milner - 1978
23: The Definition of Standard ML (context) - Milner, Tofte et al. - 1990
20: Principal type schemes for functional programs (context) - Damas, Milner - 1982
BibTeX entry: (Update)
Wadler, P. and Blott, S., "How to make adhoc polymorphism less ad-hoc," Proc. 16th ACM Symposium on Principles of Programming Languages, pp. 60--76, 1989. http://citeseer.ist.psu.edu/wadler88how.html More
@inproceedings{ wadler89how,
AUTHOR = {P. Wadler and S. Blott},
TITLE = {How to make ad-hoc polymorphism less ad-hoc},
PAGES = {60--76},
BOOKTITLE = {Conference Record of the 16th Annual {ACM} Symposium
on Principles of Programming Languages},
PUBLISHER = {ACM},
MONTH = JAN,
YEAR = 1989,
DOCUMENTURL = {ftp://ftp.dcs.gla.ac.uk/pub/glasgow-fp/authors/Philip_Wadler/how-to-make-ad-hoc-poly-less-ad-hoc.dvi},
url = {citeseer.ist.psu.edu/wadler88how.html} }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Milner - 1978 DBLP
492 Smalltalk80: The Language and Its Implementation (context) - Goldberg, Robson - 1983
388 On understanding types (context) - Cardelli, Wegner - 1985
343 Principal type schemes for functional programs (context) - Damas, Milner - 1982
311 Abstract types have existential type (context) - Mitchell, Plotkin - 1985
258 Miranda: A non-strict functional language with polymorphic t.. (context) - Turner - 1985 ACM DBLP
160 The principal type scheme of an object in combinatory logic (context) - Hindley - 1969
107 Complete type inference for simple objects (context) - Wand - 1987 DBLP
82 Principles of OBJ (context) - Futasagi, Goguen et al. - 1985
81 A proposal for Standard ML (context) - Milner - 1984 ACM DBLP
63 Three approaches to type structure (context) - Reynolds - 1985 ACM DBLP
44 Structural subtyping and the notion of power type - Cardelli - 1988
43 The definition of Standard ML (context) - Harper, Milner et al. - 1988 ACM
35 Partial Evaluation and Mixed Computation (context) - Bjorner, Ershov et al. - 1988
19 Lecture notes for International Summer School in Computer Pr.. (context) - Strachey, in et al. - 1967
4 Parametric polymorphism (context) - Kaes - 1988
3 Changes to the Standard ML core language (context) - Milner - 1987
1 Computer Science Dept (context) - Harper, MacQueen et al. - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.bell-labs.com/~blott/): More
Accessing Geographical Metafiles through a Database Storage.. - Blott, Vckovski (1995) (Correct)
A Quantitative Analysis and Performance Study for.. - Weber, Schek, Blott (1998) (Correct)
Correctness and Parallelism in Composite Systems - Alonso, Blott, Fessler, Schek (1997) (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