Ralf Hinze, Simon Peyton Jones  Home/Search
Context Related
| microsoft.com/Users/simo...derive.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: microsoft.com/Users/simonpj/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Generic programming allows you to write a function once, and use it many times at di erent types. A lot of good foundational work on generic programming has been done. The goal of this paper is to propose a practical way of supporting generic programming within the Haskell language, while going \with the grain" of the language. On the way, we came across a separate issue, concerning type-class overloading where higher kinds are involved. We propose a simple type-class system extension to allow ... (Update)
Cited by: More
Generics as a Library (Extended Abstract) - Oliveira, Hinze, Löh (Correct)
Generics as a Library - Oliveira, Hinze, Löh (Correct)
There and Back Again: Arrows for Invertible Programming - Alimarine, Smetsers, van .. (2005) (Correct)
Similar documents (at the sentence level):
78.5%: Derivable Type Classes - Hinze, Jones (2000) (Correct)
Active bibliography (related documents): More All
0.6: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.5: The Web (Functional Pearl) - Hinze, Jeuring (2001) (Correct)
0.3: Polytypic Values Possess Polykinded Types - Hinze (2000) (Correct)
Similar documents based on text: More All
0.5: Polytypic Programming with Ease - Hinze (2001) (Correct)
0.4: Generic Haskell: applications - Hinze, Jeuring (2003) (Correct)
0.4: Constructing Tournament Representations: An exercise in pointwise.. - Hinze (2002) (Correct)
Related documents from co-citation: More All
26: A Generic Programming Extension for Clean - Alimarine, Plasmeijer - 2002
24: A new approach to generic functional programming - Hinze - 1999
23: Polytypic values possess polykinded types - Hinze - 2000
BibTeX entry: (Update)
Ralf Hinze and Simon Peyton Jones. Derivable type classes. In submitted to Haskell Workshop 2000, 2000. http://citeseer.ist.psu.edu/hinze00derivable.html More
@misc{ hinze00derivable,
author = "R. Hinze and S. Jones",
title = "Derivable type classes",
text = "Ralf Hinze and Simon Peyton Jones. Derivable type classes. In submitted
to Haskell Workshop 2000, 2000.",
year = "2000",
url = "citeseer.ist.psu.edu/hinze00derivable.html" }
Citations (may not include all citations):191 Polymorphic type inference (context) - Leivant - 1983
106 Purely Functional Data Structures - Okasaki - 1998
63 A new approach to generic functional programming - Hinze
60 Polytypic values possess polykinded types - Hinze - 2000
38 Type classes with functional dependencies - Jones - 2000
35 Implicit parameters: Dynamic scoping with static types - Lewis, Shields et al. - 2000
34 Generic functional programming with types and relations (context) - Bird, de Moor et al. - 1996
26 A generic programming extension for Haskell - Hinze - 1999
23 a polytypic programming language extension (context) - Jansson, Jeuring - 1997
18 Analytical and Structural Polymorphism Expressed using Patte.. (context) - Ruehr - 1992
16 Type classes: Exploring the design space (context) - Jones, Jones et al. - 1997
13 Qualied Types: Theory and Practice (context) - Jones - 1994
5 Functorial ML - Jay, Bell et al. - 1998
4 About Charity - Cockett, Fukushima - 1992
3 Special Issue on Algorithmic Aspects of Functional Programmi.. (context) - Hinze
2 Haskell 98 | A Non-strict (context) - Jones, Hughes et al. - 1999
1 Generic Programming | An Introduction (context) - Backhouse, Jansson et al. - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/Users/simonpj/): More
Once Upon a Polymorphic Type - Wansbrough, Jones (1998) (Correct)
Imprecise Exceptions, Co-Inductively - Moran, Lassen, Jones (Correct)
Lightweight Extensible Records for Haskell - Jones, Jones (1999) (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