|
23
|
Combining effects: sum and tensor
– Martin Hyland, Gordon Plotkin, John Power
|
|
9
|
Promotional Transformation on Monadic Programs
– Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi
- 1995
|
|
64
|
Functional Programming with Overloading and Higher-Order Polymorphism
– Mark P. Jones
- 1995
|
|
10
|
Monads for Natural Language Semantics
– Chung-Chieh Shan
|
|
10
|
Prolog's Control Constructs in a Functional . . .
– Ralf Hinze
|
|
25
|
Deriving Backtracking Monad Transformers
– Ralf Hinze
- 2000
|
|
|
A Flexible Semantic Framework for Effects
– Ross Tate, Daan Leijen, Sorin Lerner
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
5
|
Modular monad transformers
– Mauro Jaskelioff
- 2009
|
|
4
|
Achieving information flow security through monadic control of effects. Invited submission to
– William L. Harrison, James Hook
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
6
|
Building interpreters by transforming stratified monads
– David Espinosa
- 1994
|
|
7
|
Recursion is a Computational Effect
– Daniel P. Friedman, Daniel P. Friedman, Amr Sabry, Amr Sabry
- 2000
|
|
|
A Categorical Approach to Logics and Logic Homomorphisms
– Robert Helgesson
- 2007
|
|
21
|
Composing Monads Using Coproducts
– Christoph Lüth, Neil Ghani
- 2002
|
|
|
Presheaf models for the π-calculus
– Ian Stark
- 1997
|
|
48
|
Representing Layered Monads
– Andrzej Filinski
- 1999
|
|
10
|
An Introduction to Reflection-Oriented Programming
– J.M. Sobel, Daniel P. Friedman
- 1996
|
|
52
|
Modular Denotational Semantics for Compiler Construction
– Sheng Liang, Paul Hudak
- 1996
|
