Le Fun: Logic, equations, and Functions (1987)

by Hassan Aït-kaci , Patrick Lincoln , Roger Nasr
Venue:In Proc. 4th IEEE Internat. Symposium on Logic Programming
Citations:45 - 1 self

Documents Related by Co-Citation

34 An overview of LIFE – Hassan Aı̈t-Kaci - 1991
296 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
346 The Integration of Functions into Logic Programming: From Theory to Practice – Michael Hanus - 1994
313 The Oz Programming Model – Gert Smolka - 1995
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
37 Adding equations to NU-Prolog – Lee Naish - 1991
456 Concurrent Constraint Programming – Vijay A. Saraswat, Martin Rinard - 1993
1353 Monads for functional programming – Philip Wadler - 1995
484 Semantics of Context-Free Languages – Donald E. Knuth - 1968