A Monadic Interpretation of Tactics (2002)

Cached

Download Links

by Andrew Martin , Jeremy Gibbons
Citations:1 - 0 self

Active Bibliography

5 Machine-Assisted Theorem-Proving for Software Engineering – Andrew Martin - 1994
35 Semantic Lego – David Espinosa - 1995
70 Functional Programming with Overloading and Higher-Order Polymorphism – Mark P. Jones - 1995
456 Comprehending Monads – Philip Wadler - 1992
Unifying Theories of Programming with Monads – Jeremy Gibbons
3 Improving Angel's Parallel Operator: Gumtree's Approach – Andrew Martin, Andrew Martin, Ray Nickson, Ray Nickson, Mark Utting, Mark Utting - 1997
7 Monads and Modularity – Christoph Lüth, Neil Ghani
Abstract – Ralf Lämmel - 2002
53 Typed Combinators for Generic Traversal – Ralf Lämmel, Joost Visser - 2002
8 Programming with Algebras – Richard B. Kieburtz, Jeffrey Lewis - 1995
9 Promotional Transformation on Monadic Programs – Zhenjiang Hu, Hideya Iwasaki, Masato Takeichi - 1995
1st Year Transfer Dissertation – Joel Wright - 2003
3 Embracing Windows – Colin J. Taylor - 1996
20 Algebra of logic programming – Silvija Seres - 1999
96 How to Declare an Imperative – Philip Wadler - 1995
52 A Semantics for Imprecise Exceptions – Simon Peyton Jones, Alastair Reid, Tony Hoare, Simon Marlow, Fergus Henderson - 1999
68 Composing Monads – Mark P. Jones, Luc Duponcheel - 1993
178 A System of Constructor Classes: Overloading and Implicit Higher-Order Polymorphism – Mark P. Jones - 1995
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999