Functional-Logic Parsers In TOY (1998)

Cached

Download Links

by Rafael Caballero Roldán , Francisco J. López Fraguas , T Oy , Rafael Caballero , J. L'opez Fraguas , Dep Lenguajes , Sistemas Inform'aticos Y Programaci'on

Active Bibliography

2 Interfacing a Functional Logic Language with a Finite Domain Solver – Teresa Hortalá-gonzález, O Sáenz-pérez - 2002
96 How to Declare an Imperative – Philip Wadler - 1995
1 Improving deterministic computations in lazy functional logic languages – Rafael Caballero, Francisco J. López-fraguas - 2003
Curry An Integrated Functional Logic Language Version 0.8.1 – Michael Hanus [editor, Sergio Antoy, Herbert Kuchen, Francisco J. López-fraguas, Wolfgang Lux, Juan José, Moreno Navarro, Frank Steiner - 2003
28 Evaluation Strategies for Functional Logic Programming – Sergio Antoy - 2001
53 Curry: A Truly Functional Logic Language – Michael Hanus, Herbert Kuchen, Juan José Moreno-Navarro - 1995
11 Prological Language Processing – Ralf Lämmel, et al. - 2001
6 Demand-driven Search in Functional Logic Programs – Michael Hanus, Pierre Réty - 1998
1 A Concurrent Implementation of Curry in Java – Michael Hanus, Ramin Sadre - 1997
Type Specialisation of a Subset of Haskell – Per Sjoers - 1997
A Standard Library Proposal for Haskell 1.3 - Version 3 – Alastair Reid, John Peterson - 1995
2 Efficient Parsing Combinators – Niklas Röjemo - 1995
1 Functional Counterparts of some Logic Programming Techniques – Tatsuru Matsushita, Colin Runciman - 1995
2 Expressive Power of Declarative Programming Languages – Tatsuru Matsushita - 1998
Lazy Type Checking in Functional Logic Programming – Jesús M. Almendros-Jiménez
7 Functional logic programming with failure: A set-oriented view – F. J. López-fraguas, J. Sánchez-hernández - 2001
1 Improving Computations in a Typed Functional Logic Language – Jes'us Manuel Almendros-Jim'enez
1 Constructive Failure in Functional-Logic Programming: From Theory to Implementation 1 – Jaime Sánchez-hernández
Constraint Programming relies on constraint solving as a powerful mechanism f... – S. Estévez-martín, T. Hortalá-gonzález, M. Rodríguez-artalejo, R. Del Vado-vírseda, F. Sáenz-pérez, A. J. Fernández - 2009