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
459 Comprehending Monads – Philip Wadler - 1992
406 Deforestation: transforming programs to eliminate trees – P Wadler - 1988
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
335 An Efficient Unification Algorithm – Alberto Martelli, Ugo Montanari - 1982
Higher-Order Logic as the Basis for Logic Programming – Higher-order Horn Clauses, Gopalan Nadathur, Gopalan Nadathur, Dale Miller - 1989
305 Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodas, Dale Miller
M. Jean-Pierre Banâtre président Me Christine Paulin-Mohring rapporteurs – Olivier Ridoux, Mm. Alain Colmerauer, René Lalement, Mm. Yves Bekkers Examinateurs, Laurent Trilling