Ralf Hinze  Home/Search
Context Related
| informatik.unibon...IAITR9915.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: A polytypic value is one that is defined by induction on the structure of types. In Haskell the type structure is described by the so-called kind system, which distinguishes between manifest types like the type of integers and functions on types like the list type constructor. Previous approaches to polytypic programming were restricted in that they only allowed to parameterize values by types of one fixed kind. In this paper we show how to define values that are indexed by types of arbitrary... (Update)
Similar documents based on text: More All
1.1: Polytypic Values Possess Polykinded Types - Hinze (2001) (Correct)
0.8: Higher-Order Intensional Type Analysis - Weirich (2002) (Correct)
0.7: Type-Indexed Data Types - Hinze, Jeuring, Löh (2001) (Correct)
Related documents from co-citation: More All
28: PolyP - a polytypic programming language extension - Jansson, Jeuring - 1997
25: A new approach to generic functional programming - Hinze - 1999
23: Derivable type classes - Hinze, Jones - 2000
BibTeX entry: (Update)
Hinze, R. (2000c) Polytypic values possess polykinded types. Wadler, P. (ed), Proceedings of the Fifth International Conference on Mathematics of Program Construction (MPC 2000), July 3-5, 2000. http://citeseer.ist.psu.edu/hinze00polytypic.html More
@inproceedings{ hinze00polytypic,
author = "Ralf Hinze",
title = "Polytypic Values Possess Polykinded Types",
booktitle = "Mathematics of Program Construction",
pages = "2-27",
year = "2000",
url = "citeseer.ist.psu.edu/hinze00polytypic.html" }
Citations (may not include all citations):809 A theory of type polymorphism in programming (context) - Robin - 1978
229 Foundations for programming languages (context) - John - 1996
191 Polymorphic type inference (context) - Daniel - 1983
143 Theorems for free - Philip - 1989
126 Type inference with polymorphic recursion - Fritz - 1993
106 Purely functional data structures - Chris - 1998
92 purely functional language (context) - Jones, Hughes et al. - 1999
63 A new approach to generic functional programming - Ralf - 2000
55 Bananas in space: Extending fold and unfold to exponential t.. - Erik, Graham - 1995
50 Compiling Haskell by program transformation: A report from t.. - Jones - 1996
48 Calculate polytypically - Lambert - 1996
48 Merging monads and folds for functional programming - Erik, Johan - 1995
45 Nested datatypes - Richard, Lambert - 1998
35 Monadic maps and folds for arbitrary datatypes - Fokkinga - 1994
34 Generic functional programming with types and relations (context) - Richard, Oege et al. - 1996
30 An investigation of a programming language with a polymorphi.. (context) - Nancy, June - 1979
25 Generalised folds for nested datatypes - Richard, Ross - 1999
23 a polytypic programming language extension (context) - Patrik, Johan - 1997
18 Analytical and structural polymorphism expressed using patte.. (context) - Karl - 1992
16 elimination des coupures dans l'arithmetique d'ordre super.. (context) - Jean-Yves, etation - 1972
15 The glasgow haskell compiler user's guide (context) - The, September - 1999
14 Polymorphic type schemes and recursive denitions (context) - Alan - 1984
13 Polytypic functions over nested datatypes - Ralf - 1999
12 Available from http://www (context) - Jones, Peterson - 1999
8 An extensional characterization of lambda-lifting and lambda.. - Olivier - 1999
5 Functorial ML - Jay, Bell et al. - 1998
4 Calculating polytypic data conversion programs (context) - Patrik, Johan - 1999
1 of polytypic functions. Polytypic values possess polykinded .. (context) - Patrik, Johan et al. - 1998
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