|
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
|
|
1
|
A Programming Language for Probabilistic Computation
– Sungwoo Park, Geoffrey Gordon, Robert Harper
- 2005
|
|
|
A Logical View of Effects
– Sungwoo Park , Robert Harper
|
|
5
|
Modular monad transformers
– Mauro Jaskelioff
- 2009
|
|
1
|
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
|
|
23
|
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
|
|
10
|
Monads for Natural Language Semantics
– Chung-Chieh Shan
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
35
|
Semantic Lego
– David Espinosa
- 1995
|
|
7
|
Recursion is a Computational Effect
– Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry
- 2000
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
|
10
|
Prolog's Control Constructs in a Functional . . .
– Ralf Hinze
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
