Promotional Transformation on Monadic Programs (1995)

by Zhenjiang Hu , Hideya Iwasaki , Masato Takeichi
Citations:9 - 0 self

Documents Related by Co-Citation

49 Merging Monads and Folds for Functional Programming – Erik Meijer, Johan Jeuring - 1995
1312 Monads for functional programming – Philip Wadler - 1995
26 Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28 – M M Fokkinga - 1994
57 Monadic Parser Combinators – Graham Hutton , Erik Meijer - 1996
97 and Order in Algorithmics – Law - 1992
299 Programming with bananas, lenses, envelopes and barbed wire – Erik Meijer, Maarten Fokkinga, Ross Paterson - 1991
95 Bananas in Space: Extending Fold and Unfold to Exponential Types – Erik Meijer, Graham Hutton - 1995
19 The Implementation of Functional Programming – S Peyton-Jones - 1987
730 Notions of Computation and Monads – Eugenio Moggi - 1991
18 Lazy functional state threads – SL Peyton Jones - 1994
18 Lifting theorems for Kleisli categories – Philip S Mulry - 1993
22 Fold and Unfold for Program Semantics – Graham Hutton - 1998
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
19 Modular Compilers Based on Monad Transformers – William Harrison, Samuel N. Kamin - 1998
7 Writing modular interpreters using catamorphisms, subtypes and monad transformers – Luc Duponcheel - 1995
28 Modular Monadic Semantics and Compilation – Sheng Liang - 1998
55 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996
86 Algebraic Approaches to Program Semantics – E G Manes, M A Arbib - 1986
3 Report on the programming language Haskell (version 1.3 – al - 1996