Calculate Polytypically! (1996)

Cached

Download Links

by Lambert Meertens
Venue:In PLILP'96, volume 1140 of LNCS
Citations:41 - 3 self

Active Bibliography

5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
93 Polytypic programming – Patrik Jansson - 2000
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
79 Nested datatypes – Richard Bird, Lambert Meertens - 1998
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
16 Calculating Accumulations – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1999
2 Deriving animations from recursive definitions – Alcino Cunha, José Barros, João Saraiva - 2002
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
28 Polytypic Pattern Matching – Johan Jeuring - 1995
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
Generic Accumulations for Program Calculation – Mauro Jaskelioff - 2004
54 Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space) – Leonidas Fegaras, Tim Sheard - 1996