Refactoring for Comprehension

Cached

Download Links

by Gustavo Villavicencio , Facultad De Matemática Aplicada

Active Bibliography

9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
A Logical View of Effects – Sungwoo Park , Robert Harper
1 A Programming Language for Probabilistic Computation – Sungwoo Park, Geoffrey Gordon, Robert Harper - 2005
Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
8 Modular monad transformers – Mauro Jaskelioff - 2009
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
Compound Monads and Models of Computation – Jeremy E. Dawson
18 Lightweight GUIs for Functional Programming – Ton Vullinghs, Daniel Tuijnman, Wolfram Schulte - 1995
29 Combining effects: sum and tensor – Martin Hyland, Gordon Plotkin, John Power
Presheaf models for the π-calculus – Ian Stark - 1997
Modular Monadic Semantics – Sheng Liang, Paul Hudak
6 Defining and Implementing Closed, Domain-Specific Languages – Richard B. Kieburtz - 2000
7 Recursion is a Computational Effect – Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry - 2000
12 Monads for Natural Language Semantics – Chung-Chieh Shan
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
69 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
56 Modular Denotational Semantics for Compiler Construction – Sheng Liang, Paul Hudak - 1996