Prolog's Control Constructs in a Functional . . .

by Ralf Hinze
Venue:INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
Citations:13 - 5 self

Documents Related by Co-Citation

730 Notions of Computation and Monads – Eugenio Moggi - 1991
1312 Monads for functional programming – Philip Wadler - 1995
163 An abstract view of programming languages – E Moggi - 1989
215 Introduction to Functional Programming using Haskell – R Bird - 1998
95 An approach to declarative programming based on a rewriting logic – J C González-Moreno, M T Hortalá-González, F J López-Fraguas, M RodríguezArtalejo - 1999
294 An Implementation of Narrowing Strategies – Sergio Antoy, Michael Hanus, Bart Massey, Frank Steiner - 2001
17 On the tighter integration of functional and logic programming – Bernd Braßel, Frank Huch - 2007
233 Monad Transformers and Modular Interpreters – Sheng Liang, Paul Hudak, Mark Jones - 1995
18 Typed Logical Variables in Haskell – Koen Claessen, Peter Ljunglöf - 2000
4 High-Level Nondeterministic Abstractions in C++ – Laurent Michel, Andrew See, Pascal Van Hentenryck
19 Polytypic unification – P Jansson, J Jeuring - 1998
11 Application de la programmation par contraintes à des problèmes de gestion du trafic aérien – N Barnier - 2002
20 A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems – Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo - 2006
54 Alma-0: An Imperative Language that Supports Declarative Programming – Krzysztof R. Apt, Jacob Brunekreef, Vincent Partington, Andrea Schaerf - 1998
396 Theory and Practice of Constraint Handling Rules – Thom Frühwirth - 1998
340 Programming with Constraints: An Introduction – K Marriott, P Stuckey - 1998
456 Comprehending Monads – Philip Wadler - 1992
86 Algebra of Programming – R Bird, O de Moor - 1997
20 Algebra of logic programming – Silvija Seres - 1999