Programming monads operationally with Unimo (2006)

Cached

Download Links

by Chuan-kai Lin
Venue:In ICFP
Citations:6 - 2 self

Active Bibliography

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
2 The constrainedmonad problem – Neil Sculthorpe, George Giorgidze, Universität Tübingen, Andy Gill - 2013
1 Extensible Effects An Alternative to Monad Transformers – Oleg Kiselyov, Amr Sabry, Cameron Swords
12 Monatron: an extensible monad transformer library. Available at http://www.cs.nott.ac.uk/~mjj/pubs/monatron.pdf – Mauro Jaskelioff
3 MRI: Modular reasoning about interference in incremental programming – Bruno C. D. S. Oliveira, Tom Schrijvers, William R. Cook - 2012
97 How to Declare an Imperative – Philip Wadler - 1995
52 Monads and Effects – Nick Benton, John Hughes, Eugenio Moggi - 2000
3 A Monadic Approach for Avoiding Code Duplication when Staging Memoized Functions – Kedar Swadi, Walid Taha, Oleg Kiselyov, Emir Pasalic - 2006
2 Monad Transformers as Monoid Transformers – Mauro Jaskelioff
8 Relating Models of Backtracking – Mitchell Wand , Dale Vaillancourt - 2004
4 Inductive Reasoning About Effectful Data Types – Andrzej Filinski - 2007
2 Church numerals, twice! – Ralf Hinze - 2002
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
4 Quantum Programming Languages: An Introductory Overview – Roland Rüdiger - 2006
6 Defining and Implementing Closed, Domain-Specific Languages – Richard B. Kieburtz - 2000
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze