Dale Miller

Dale Miller

Institut National de Recherche en Informatique et Automatique - Le Chesnay-Rocquencourt / France
Others
AD Scientific Index ID: 4418479
French National Institute for Research in Computer Science and Control
person_outline Dale Miller's MOST POPULAR ARTICLES
1-) Uniform proofs as a foundation for logic programmingD Miller, G Nadathur, F Pfenning, A ScedrovAnnals of Pure and Applied logic 51 (1-2), 125-157, 19918731991
2-) A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple UnificationD MillerJournal of Logic and Computation 1 (4), 497--536, 19917721991
3-) Logic programming in a fragment of intuitionistic linear logicJS Hodas, D MillerInformation and computation 110 (2), 327-365, 19946311994
4-) An overview of λPrologG Nadathur, D MillerFifth International Logic Programming Conference, 810--827, 1988648*1988
5-) A logical analysis of modules in logic programmingD MillerThe Journal of Logic Programming 6 (1-2), 79-108, 19894201989