| Alternate document: Details Polytypic Data Compression (96) Johan Jeuring |
Johan Jeuring, Patrik Jansson  Home/Search
Context Related
| cs.chalmers.se/~johanj/polyt...notes.ps cs.chalmers.se/~patrikj/p...notes.ps.gz math.chalmers.se/~patrikj...notes.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: cs.chalmers.se/~jo...publications (more) From: cs.chalmers.se/~patrikj/papers... (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Many functions have to be written over and over again for different datatypes, either because datatypes change during the development of programs, or because functions with similar functionality are needed on different datatypes. Examples of such functions are pretty printers, debuggers, equality functions, unifiers, pattern matchers, rewriting functions, etc. Such functions are called polytypic functions. A polytypic function is a function that is defined by induction on the structure of... (Update)
Cited by: More
A Comparative Study of Language Support for Generic.. - Garcia, Järvi.. (2003) (Correct)
TypeCase: A Design Pattern for Type-Indexed Functions - Bruno Oliveira And (2005) (Correct)
Typing Rule-Based Transformations Over Topological Collections - Cohen (2003) (Correct)
Similar documents (at the sentence level):
37.9%: Functional Polytypic Programming Use and Implementation - Jansson (1997) (Correct)
Active bibliography (related documents): More All
1.4: PolyP - a polytypic programming language extension - Jansson, Jeuring (1997) (Correct)
1.3: Calculate Polytypically! - Meertens (1996) (Correct)
0.7: Polytypic Pattern Matching - Jeuring (1995) (Correct)
Similar documents based on text: More All
1.3: Polytypic Programming in Haskell - Norell, Jansson (2003) (Correct)
0.7: PolyLib - a library of polytypic functions - Jansson, Jeuring (1998) (Correct)
0.7: Polytypic Unification - Jansson, Jeuring (1993) (Correct)
Related documents from co-citation: More All
30: Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
28: PolyP - a polytypic programming language extension - Jansson, Jeuring - 1997
26: Calculate polytypically - Meertens - 1996
BibTeX entry: (Update)
J. Jeuring and P. Jansson. Polytypic programming. In AFP'96, volume 1129 of LNCS, pages 68114. Springer-Verlag, 1996. http://citeseer.ist.psu.edu/jeuring96polytypic.html More
@incollection{ jeuring96polytypic,
author = "Johan Jeuring and Patrik Jansson",
title = "Polytypic Programming",
booktitle = "Tutorial Text 2nd Int.\ School on Advanced Functional Programming, Olympia, {WA}, {USA}, 26--30 Aug 1996",
volume = "1129",
publisher = "Springer-Verlag",
address = "Berlin",
editor = "J. Launchbury and E. Meijer and T. Sheard",
pages = "68--114",
year = "1996",
url = "citeseer.ist.psu.edu/jeuring96polytypic.html" }
Citations (may not include all citations):2157 Design Patterns -- Elements of Reusable Object-Oriented Soft.. (context) - Gamma, Helm et al. - 1995
474 Term rewriting systems - Klop - 1992
210 Functional programming with bananas (context) - Meijer, Fokkinga et al. - 1991
172 An introduction to the theory of lists (context) - Bird - 1987
143 Theorems for free - Wadler - 1989
138 Lectures on constructive functional programming (context) - Bird
104 Science of Computer Programming (context) - Malcolm, program - 1990
97 and parametric polymorphism (context) - Reynolds, abstraction - 1983
84 Law and order in algorithmics (context) - Fokkinga - 1992
79 Shortcut deforestation in calculational form - Takano, Meijer - 1995
68 Unification: A multidisciplinary survey (context) - Knight - 1989
67 Formal Aspects of Computing (context) - Meertens - 1992
64 Science of Computer Programming (context) - Jay, for - 1995
63 Adaptive object-oriented programming --- using graph-based c.. - Lieberherr, Silva-Lepe et al. - 1994
55 Bananas in space: Extending fold and unfold to exponential t.. - Meijer, Hutton - 1995
52 Algebraic Approaches to Program Semantics (context) - Manes, Arbib - 1986
48 Merging monads and folds for functional programming - Meijer, Jeuring - 1995
46 Recursive types reduced to inductive types (context) - Freyd - 1990
39 Polytypic pattern matching - Jeuring - 1995
38 Functional programming with overloading and higher-order pol.. - Jones - 1995
33 Algebraic specification of data types: A synthetic approach (context) - Lehmann, Smyth - 1981
25 Automatic generation and use of abstract structure operators (context) - Sheard - 1991
24 Category Theoretic Approach to Data Types (context) - Hagino - 1987
23 Revisiting catamorphisms over datatypes with embedded functi.. - Fegaras, Sheard - 1996
20 Type safe abstractions using program generators - Sheard, Nelson - 1995
18 Analytical and Structural Polymorphism Expressed Using Patte.. (context) - Ruehr - 1992
15 Polynomial polymorphism - Jay - 1995
14 Efficient implementation of adaptive software - Palsberg, Xiao et al. - 1995
14 Generic programming with relations and functors - Bird, de Moor et al. - 1996
10 Technical Monograph PRG (context) - de Moor, relations et al. - 1992
9 Oregon Graduate Institute of Science and Technology (context) - Sheard, programming - 1993
6 Algorithms from theorems - Jeuring - 1990
5 Mathematical Structures in Computer Science (context) - de Moor, relations et al. - 1994
5 Sigplan Notices Special Issue on the Functional Programming .. (context) - Fasel, Hudak et al. - 1992
4 Polytypic data compression - Jeuring - 1996
4 Automatic synthesis of type -programs on term algebras (context) - Bohm, Berarducci - 1985
3 Type inference for polytypic functions (context) - Jansson, Jeuring - 1996
3 Polytypic unification --- implementing polytypic functions w.. (context) - Jansson, Jeuring - 1996
3 Polytypism and polytypic unification - Jansson - 1995
2 Available via ftp on ftp (context) - Jones - 1995
1 Unpublished article (context) - Cockett, Fukushima - 1992
1 Available via WWW: http://www (context) - Fiore, denotational et al. - 1996
1 A polytypic rewriting system (context) - Berglund - 1996
1 Analytical and structural polymorphism (context) - Ruehr - 1992
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.chalmers.se/~johanj/publications.html): More
Polytypic Pattern Matching - Jeuring (1995) (Correct)
Incremental Algorithms on Lists - Jeuring (1991) (Correct)
Bottom-up Grammar Analysis - A Functional Formulation - Jeuring, Swierstra (1994) (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