|
|
Skeletons and the Anatomy of Monads
– Chuan-kai Lin
- 2006
|
|
|
Towards Semantics-directed System Design and Synthesis
– William L. Harrison, Benjamin Schulz, Adam Procter, Andrew Lukefahr, Gerard Allwein
|
|
9
|
Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf
– Mauro Jaskelioff
|
|
|
MRI: Modular reasoning about interference in incremental
– Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook, Bruno C. D. S. Oliveira, Tom Schrijvers, Tom Schrijvers, William R. Cook
|
|
94
|
How to Declare an Imperative
– Philip Wadler
- 1995
|
|
2
|
A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions
– Kedar Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic
- 2006
|
|
39
|
Monads and Effects
– Nick Benton, John Hughes, Eugenio Moggi
- 2000
|
|
1
|
Monad Transformers as Monoid Transformers
– Mauro Jaskelioff
|
|
2
|
Inductive Reasoning About Effectful Data Types
– Andrzej Filinski
- 2007
|
|
6
|
Relating Models of Backtracking
– Mitchell Wand , Dale Vaillancourt
- 2004
|
|
|
Unifying Theories of Programming with Monads
– Jeremy Gibbons
|
|
2
|
Proof Abstraction for Imperative Languages
– William L. Harrison
- 2003
|
|
7
|
Semantics of value recursion for monadic input/output
– Levent Erkök, John Launchbury, Andrew Moran
- 2002
|
|
10
|
Prolog's Control Constructs in a Functional . . .
– Ralf Hinze
|
|
25
|
Deriving Backtracking Monad Transformers
– Ralf Hinze
- 2000
|
|
6
|
Defining and Implementing Closed, Domain-Specific Languages
– Richard B. Kieburtz
- 2000
|
|
10
|
EffectiveAdvice: Disciplined Advice with Explicit Effects
– Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook
|
|
5
|
Functional polytypic programming | use and implementation
– Patrik Jansson
- 1997
|
|
3
|
Compilation as Metacomputation: Binding Time Separation in Modular Compilers (Extended Abstract)
– William L. Harrison, Samuel N. Kamin
- 1998
|
