|
161
|
PolyP - a polytypic programming language extension
– Patrik Jansson, Johan Jeuring
- 1997
|
|
27
|
Functorial ML
– G. Belle, C. B. Jay, E. Moggi
- 1996
|
|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
95
|
Algorithmics: Towards programming as a mathematical activity
– L G L T Meertens
- 1986
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
171
|
A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
57
|
A Semantics for Shape
– C. Barry Jay
- 1995
|
|
15
|
Analytical and Structural Polymorphism Expressed Using Patterns Over Types
– Fritz Ruehr
- 1992
|
|
24
|
Automatic generation and use of abstract structure operators
– T Sheard
- 1991
|
|
14
|
When Do Datatypes Commute?
– Paul Hoogendijk, Roland Backhouse
- 1997
|
|
28
|
Polytypic Pattern Matching
– Johan Jeuring
- 1995
|
|
101
|
Data Structures and Program Transformation
– G Malcolm
- 1990
|
|
26
|
Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28
– M M Fokkinga
- 1994
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
12
|
Polytypic programming. Pages 68--114 of
– J Jeuring
- 1996
|
|
4
|
Functorial polymorphism. Theoretical computer science
– E Bainbridge, P Freyd, A Scedrov, P Scott
- 1990
|
|
4
|
Polytypic pattern matching. Pages 238--248 of: Conference record
– J Jeuring
- 1995
|
|
2
|
Functorial ML (including appendices
– G Belle, C B Jay
- 1998
|
