|
41
|
Calculate Polytypically!
– Lambert Meertens
- 1996
|
|
4
|
Calculate Categorically!
– Maarten Fokkinga
- 1992
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
|
Towards a Theory of Moa
– Maarten Fokkinga
- 2000
|
|
86
|
Polytypic programming
– Patrik Jansson, Patrik Jansson
- 1996
|
|
28
|
Polytypic Pattern Matching
– Johan Jeuring
- 1995
|
|
4
|
Inductive Datatypes with Laws and Subtyping – A Relational Model
– Theodorus Sebastiaan Voermans
|
|
6
|
A Relational Approach To Optimization Problems
– Sharon Curtis
- 1996
|
|
21
|
Datatype Laws without Signatures
– Maarten M. Fokkinga
- 1996
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
81
|
Generic programming: An introduction
– Patrik Jansson, Johan Jeuring, Lambert Meertens
- 1999
|
|
|
TA: set
– Maarten M. Fokkinga, Tip A Ta
- 2008
|
|
16
|
Calculating Accumulations
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1999
|
|
|
Generic Accumulations for Program Calculation
– Mauro Jaskelioff
- 2004
|
|
12
|
Comparing Libraries for Generic Programming in Haskell
– Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira
- 2008
|
|
8
|
Programming with Algebras
– Richard B. Kieburtz, Jeffrey Lewis
- 1995
|
|
9
|
Generic Accumulations
– Alberto Pardo
- 2002
|
|
84
|
Bananas in Space: Extending Fold and Unfold to Exponential Types
– Erik Meijer, Graham Hutton
- 1995
|
|
5
|
The Calculation of a Polytypic Parser
– Marieke Huisman
- 1996
|
