Documents Related by Co-Citation

1312 Monads for functional programming – Philip Wadler - 1995
86 How to replace failure by a list of successes – P Wadler - 1985
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999
215 An introduction to the theory of lists – R S Bird - 1987
336 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
730 Notions of Computation and Monads – Eugenio Moggi - 1991
170 Unifying Theories of Programming – C A R Hoare, J He - 1998
456 Comprehending Monads – Philip Wadler - 1992
27 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
5 Prological Features In A Functional Setting Axioms And Implementations – Ralf Hinze - 1998
49 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
8 Relating Models of Backtracking – Mitchell Wand , Dale Vaillancourt - 2004
133 Building Domain-Specific Embedded Languages – Paul Hudak - 1996
10 Combinators for Breadth-First Search – Michael Spivey
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
4 The Algebra of Searching – Mike Spivey, Silvija Seres - 1999
4 An embedded language approach to hardware description and verification – Koen Claessen - 2000
2 An embedded modeling language approach to interactive 3d and multimedia animation – Conal Eliott - 1999
2 An integrated functional logic language, February 2000. The current report describing the language Curry, http://www.informatik.unikiel. de/~curry/report.html – Curry