Documents Related by Co-Citation

1225 Introduction to functional programming – Philip Wadler - 1995
83 How to replace failure by a list of successes – Philip Wadler - 1985
16 Embedding prolog in haskell – Silvija Seres, Michael Spivey - 1999
205 An introduction to the theory of lists – R S Bird - 1987
317 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
652 Notions of Computation and Monads – Eugenio Moggi - 1991
158 Unifying Theories of Programming – C A R Hoare, J He - 1998
418 Comprehending Monads – Philip Wadler - 1992
25 Deriving Backtracking Monad Transformers – Ralf Hinze - 2000
5 Prological Features In A Functional Setting Axioms And Implementations – Ralf Hinze - 1998
43 The Under-Appreciated Unfold – Jeremy Gibbons, Geraint Jones - 1998
6 Relating Models of Backtracking – Mitchell Wand , Dale Vaillancourt - 2004
108 Building Domain-Specific Embedded Languages – Paul Hudak - 1996
10 Combinators for Breadth-First Search – Michael Spivey
10 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