Dale Miller
Author
Alternate names Dale Miller, Dale Armin Miller, D. A. Miller, D. Miller, Dale A. Miller
Institutions Laboratoire d'Informatique de l'École Polytechnique, Institut national de recherche en informatique et en automatique
Past institutions École Polytechnique, Institut national de recherche en informatique et en automatique, Laboratoire d'Informatique de l'École Polytechnique, Inria Saclay - Île de France, University of Michigan–Ann Arbor +5 more
ORCID: Yes
H-index: 44
I10-index: 113
Works count: 298
Citations count: 7,036
Uniform proofs as a foundation for logic programming
1991 · Dale Miller, Gopalan Nadathur, et al. · Annals of Pure and Applied Logic
Logic Programming in a Fragment of Intuitionistic Linear Logic
1994 · Joshua S. Hodas, Dale Miller · Information and Computation
A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification
1991 · Dale Miller · Journal of Logic and Computation