Programming with Algebras (1995)

Cached

Download Links

by Richard B. Kieburtz , Jeffrey Lewis
Venue:Advanced Functional Programming, number 925 in Lecture Notes in Computer Science
Citations:8 - 2 self

Active Bibliography

41 Calculate Polytypically! – Lambert Meertens - 1996
58 A tutorial on the universality and expressiveness of fold – Graham Hutton - 1999
3 Inductive Programming – Richard B. Kieburtz - 1993
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
39 Querying Nested Collections – Limsoon Wong - 1994
9 Calculating Software Generators from Solution Specifications – Richard B. Kieburtz, Francoise Bellegarde, Jef Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou - 1994
28 Polytypic Pattern Matching – Johan Jeuring - 1995
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
7 Constructing Functional Programs for Grammar Analysis Problems – Johan Jeuring, Doaitse Swierstra - 1995
Higher-Order Charity – Mark A. Schroeder - 1997
DISTRIBUTIVE LAWS IN PROGRAMMING STRUCTURES – Ondrej Rypacek - 2009
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
93 Polytypic programming – Patrik Jansson - 2000
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000