The Calculation of a Polytypic Parser (1996)

Cached

Download Links

by Marieke Huisman
Citations:5 - 0 self

Active Bibliography

41 Calculate Polytypically! – Lambert Meertens - 1996
93 Polytypic programming – Patrik Jansson - 2000
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
5 Monadic Corecursion - Definition, Fusion Laws, and Applications – Alberto Pardo - 1998
13 Polytypic Programming With Ease – Ralf Hinze - 1999
19 Monadic Maps and Folds for Arbitrary Datatypes – Maarten Fokkinga - 1994
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
State-Based Functional Programming – Maarten Fokkinga - 1993
5 Functional polytypic programming | use and implementation – Patrik Jansson - 1997
29 Dealing with Large Bananas – Ralf Lammel, Joost Visser, Jan Kort - 2000
20 Comparing Libraries for Generic Programming in Haskell – Alexey Rodriguez, Johan Jeuring, Patrik Jansson, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira - 2008
13 Polytypic Functions Over Nested Datatypes – Ralf Hinze - 1999
Towards Merging Recursion and Comonads – Alberto Pardo Instituto, Alberto Pardo - 2000
9 Towards Merging Recursion and Comonads – Alberto Pardo - 2000
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
5 A Calculational Approach to Strong Datatypes – Alberto Pardo - 1997
Abstract DRAFT – unknown authors