Download:
|
by Patrik Jansson, Johan Jeuring
In Workshop on Generic Programming (WGP'98), Marstrand
http://www.cs.chalmers.se/~patrikj/poly/polylib/polylib.ps.gz
Add To MetaCart
Abstract:
A polytypic program is a program that behaves uniformly over a large class of datatypes. For functional polytypic programming this uniformity is achieved by parameterising functions over type constructors to obtain polytypic functions
Citations
|
3619
|
Design Patterns: Elements of Reusable Object-oriented Software
– Gamma, Helm, et al.
- 1994
|
|
207
|
An introduction to the theory of lists
– Bird
- 1987
|
|
157
|
PolyP - a polytypic programming language extension. Pages 470{482 of: POPL'97
– Jansson, Jeuring
- 1997
|
|
106
|
Data structures and program transformation
– Malcolm
- 1990
|
|
90
|
Algorithmics (towards programming as a mathematical activity
– Meertens
- 1993
|
|
77
|
Polytypic programming
– Jeuring, Jansson
- 1996
|
|
48
|
Merging Monads and Folds for Functional Programming
– Meijer, Jeuring
- 1995
|
|
40
|
Calculate Polytypically
– Meertens
- 1996
|
|
37
|
Homomorphisms and promotability
– Malcolm
- 1989
|
|
29
|
Automatic generation and use of abstract structure operators
– Sheard
- 1991
|
|
28
|
Polytypic pattern matching
– Jeuring
- 1995
|
|
26
|
Functorial ML
– Bell'e, Jay, et al.
- 1996
|
|
23
|
Monadic maps and folds for arbitrary datatypes. Memoranda Informatica 94-28
– Fokkinga
- 1994
|
|
17
|
Analytical and Structural Polymorphism Expressed Using Patterns Over Types
– Ruehr
- 1992
|
|
13
|
When do datatypes commute
– Hoogendijk, Backhouse
- 1997
|
|
13
|
Polytypic unification
– Jansson, Jeuring
- 1998
|
|
7
|
Genetic algorithms in Haskell with polytypic programming. Examensarbeten 1997:36
– Vestin
- 1997
|
|
5
|
Functional polytypic programming | use and implementation
– Jansson
- 1997
|
|
4
|
The calculation of a polytypic parser
– Huisman
- 1996
|
|
1
|
Polytypic unication
– Jansson, Jeuring
- 1998
|
|
1
|
Functorial ML. Extended version of [1
– Jay, Bell, et al.
- 1998
|
|
1
|
Functorial ML. Unpublished extended version of [1
– Jay, Bell`e, et al.
- 1997
|
