Ralf Hinze  Home/Search
Context Related
| informatik.unibonn.de...POPL2000.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: informatik.unibon...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper describes a new approach to generic functional programming, which allows us to define functions generically for all datatypes expressible in Haskell. A generic function is one that is defined by induction on the structure of types. Typical examples include pretty printers, parsers, and comparison functions. The advanced type system of Haskell presents a real challenge: datatypes may be parameterized not only by types but also by type constructors, type definitions may involve mutual... (Update)
Cited by: More
GEC: a toolkit for Generic Rapid Prototyping of.. - Achten, van.. (Correct)
Arrows for - Generic Graphical Editor (Correct)
GEC: A Toolkit for Generic Rapid Prototyping of.. - Achten, van.. (2005) (Correct)
Similar documents (at the sentence level):
59.1%: A New Approach to Generic Functional Programming - Hinze (1999) (Correct)
Active bibliography (related documents): More All
0.7: Type-Secure Meta-Programming - Christopher Bentley Dornan (1998) (Correct)
0.0: Didier Rémy's bibliography - Remy (1995) (Correct)
0.0: Dynamic Typing as Staged Type Inference - Shields, Sheard, Jones (1997) (Correct)
Similar documents based on text: More All
0.3: An Algebra of Scans - Hinze (2004) (Correct)
0.2: Type-Indexed Data Types - Hinze, Jeuring, Loh (2004) (Correct)
0.2: Church Numerals, Twice! - Hinze (Correct)
Related documents from co-citation: More All
27: PolyP - a polytypic programming language extension - Jansson, Jeuring - 1997
25: Polytypic values possess polykinded types - Hinze - 2000
24: Derivable type classes - Hinze, Jones - 2000
BibTeX entry: (Update)
Ralf Hinze. A new approach to generic functional programming. Technical Report IAI-TR-99-9, Institut fur Informatik III, Universitat Bonn, July 1999. http://citeseer.ist.psu.edu/hinze99new.html More
@inproceedings{ hinze00new,
author = "Ralf Hinze",
title = "A New Approach to Generic Functional Programming",
booktitle = "Symposium on Principles of Programming Languages",
pages = "119-132",
year = "2000",
url = "citeseer.ist.psu.edu/hinze99new.html" }
Citations (may not include all citations):729 The Lambda Calculus --- Its Syntax and Semantics (context) - Barendregt - 1984
382 Lambda calculi with types - Barendregt - 1992
261 Dynamic typing in polymorphic languages - Abadi, Cardelli et al. - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.uni-bonn.de/~ralf/publications.html): More
Polytypic Functions Over Nested Datatypes - Hinze (1999) (Correct)
Generalizing Generalized Tries - Hinze (1999) (Correct)
Numerical Representations as Higher-Order Nested Datatypes - Hinze (1998) (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