Frédéric Malésieux, Olivier Ridoux, Patrice Boizumault. Analyse statique typée: application à l analyse de clôtures de lambda-Prolog. In François Fages, editor, JFPLC 99, Huitièmes Journées Francophones de Programmation Logique et programmation par Contraintes, 2-4 juin 199, Lyon, France. pages 55-72, Hermes, 1999.
Abstract is missing.