|
20
|
Algebra of logic programming
– Silvija Seres
- 1999
|
|
13
|
Typed Logical Variables in Haskell
– Koen Claessen, Peter Ljunglöf
- 2000
|
|
5
|
Prological Features In A Functional Setting Axioms And Implementations
– Ralf Hinze
- 1998
|
|
25
|
Deriving Backtracking Monad Transformers
– Ralf Hinze
- 2000
|
|
17
|
Polytypic unification
– P Jansson, J Jeuring
- 1998
|
|
108
|
Building Domain-Specific Embedded Languages
– Paul Hudak
- 1996
|
|
83
|
How to replace failure by a list of successes
– Philip Wadler
- 1985
|
|
317
|
The Integration of Functions into Logic Programming: From Theory to Practice
– Michael Hanus
- 1994
|
|
175
|
The execution algorithm of Mercury, an efficient purely declarative logic programming language
– Zoltan Somogyi, Fergus Henderson, Thomas Conway
- 1996
|
|
1224
|
Introduction to functional programming
– Philip Wadler
- 1995
|
|
44
|
Curry: A Truly Functional Logic Language
– Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro
- 1995
|
|
205
|
An introduction to the theory of lists
– R Bird
- 1987
|
|
77
|
Circuit design in ruby
– Geraint Jones, Mary Sheeran
- 1990
|
|
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
|
|
2
|
Deriving Monad Transformers
– Ralf Hinze
- 1999
|
|
6
|
Programming in an integrated functional and logic programming language
– John W Lloyd
- 1999
|
|
12
|
Polytypic Functions Over Nested Datatypes
– Ralf Hinze
- 1999
|
