Monadic Maps and Folds for Arbitrary Datatypes (1994)

Cached

Download Links

by Maarten Fokkinga
Venue:Memoranda Informatica, University of Twente
Citations:19 - 0 self

Active Bibliography

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
93 Polytypic programming – Patrik Jansson - 2000
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
22 Datatype Laws without Signatures – Maarten M. Fokkinga - 1996
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
Submitted to ICFP’13 Unifying Recursion Schemes – Ralf Hinze, Nicolas Wu, Jeremy Gibbons
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
20 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
10 Generic Accumulations – Alberto Pardo - 2002
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995