Monadic Maps and Folds for Arbitrary Datatypes (1994)

Cached

Download Links

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

Documents Related by Co-Citation

49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
178 PolyP - a polytypic programming language extension – Patrik Jansson, Johan Jeuring - 1997
1312 Monads for functional programming – Philip Wadler - 1995
456 Comprehending Monads – Philip Wadler - 1992
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
4 Coalgebraic trace semantics for probabilistic systems – Ichiro Hasuo, Bart Jacobs - 2005
9 Coalgebraic analysis of probabilistic systems – A Sokolova - 2005
18 Handbook of Categorical Algebra, volume 50, 51 and 52 of Encyclopedia of Mathematics. Cambridge Univ – F Borceux - 1994
35 The category theoretic solution of recursive domain equations – M B Smyth, G D Plotkin - 1982
155 Reactive, Generative and Stratified Models of Probabilistic Processes – Rob J. Van Glabbeek, Scott A. Smolka, Bernhard Steffen - 1990
13 Least fixed point of a functor – J Ad├ímek, V Koubek - 1979
18 Trace Semantics for Coalgebras – Bart Jacobs - 2003
14 A Coalgebraic Foundation for Linear Time Semantics – John Power, Daniele Turi - 1999
6 Distributing Probabililty over Nondeterminism – D Varacca, G Winskel
14 Fusion of Recursive Programs with Computational Effects – Alberto Pardo - 2000
60 A Semantics for Shape – C. Barry Jay - 1995