Naive Reverse can be Linear (1991)

Cached

Download Links

by Pascal Brisset , Olivier Ridoux
Venue:8th Int. Conf. Logic Programming
Citations:18 - 5 self

Active Bibliography

The Compilation of λProlog and its Execution with MALI – Pascal Brisset, Olivier Ridoux - 1993
2 The Architecture of an Implementation of λProlog: Prolog/Mali – Pascal Brisset, Olivier Ridoux - 1992
A Pragmatic Reconstruction of λProlog – Catherine Belleannée, Pascal Brisset, Olivier Ridoux - 1994
18 Higher Order Logic – Daniel Leivant - 1994
27 The Type System of a Higher-Order Logic Programming Language – Gopalan Nadathur, Frank Pfenning - 1992
Prolog/Mali Reference Manual – Serge Le Huitouze, Olivier Ridoux, Pascal Brisset
On the Parallel Implementation of the Higher-Order Logic Language Prolog – Francesca Arcelli, Ferrante Formato, Giulio Iannello
2 Expressive Power of Declarative Programming Languages – Tatsuru Matsushita - 1998
70 Defunctionalization at Work – Olivier Danvy, Lasse R. Nielsen - 2001
2 Proof-search in type-theoretic languages: an introduction – Didier Galmiche, David J. Pym - 2000
1 Higher-Order Rigid E-Unification – Jean Goubault
Imagining CLP(Λ,≡αβ) – Olivier Ridoux - 1995
I R I S a – Campus Universitaire De, Olivier Ridoux, Projet Lande - 1994
2 Context Patterns, Part II – Markus Mohnen - 1997
9 Context Patterns in Haskell – Markus Mohnen - 1996
11 Higher Order Babel: Language and Implementation – Herbert Kuchen, Josef Anastasiadis - 1996
1 Avoiding Dynamic Type Checking in a Polymorphic Logic Programming Language – Pascal Brisset
A Extensional Higher-Order Logic Programming – A. Charalambidis, K. Handjopoulos, P. Rondogiannis
65 Programming in an Integrated Functional and Logic Language – J. W. Lloyd, Y. Guo, M. Hagiya - 1999