369 citations
- Université Sorbonne Paris NordFR13 papers
- Centre National de la Recherche ScientifiqueFR4 papers
- Laboratoire de Physique Théorique de la Matière CondenséeFR3 papers
- Université Paris CitéFR3 papers
- Institute of Nuclear Physics, Polish Academy of SciencesPL2 papers
- Laboratoire d'Informatique, du Traitement de l'Information et des SystèmesFR2 papers
- Laboratoire d'Informatique Gaspard-MongeFR2 papers
- Sorbonne UniversitéFR2 papers
- Aix-Marseille UniversitéFR1 paper
- California State University, Long BeachUS1 paper
- Centre de Physique ThéoriqueFR1 paper
- Centre d'études et de recherche en informatique et communicationsFR1 paper
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2007
SWI-Prolog and the Web
Jan Wielemaker, Zhisheng Huang, Lourens van der Meij
Where Prolog is commonly seen as a component in a Web application that is either embedded or communicates using a proprietary protocol, we propose an architecture where Prolog comm…
cs.PL2007
How to be correct, lazy and efficient ?
Catherine Recanati
This paper is an introduction to Lambdix, a lazy Lisp interpreter implemented at the Research Laboratory of Paris XI University (Laboratoire de Recherche en Informatique, Orsay). L…