Concepedia

Dale Miller

DM

Statistics

Publications

81

Citations

5K

H-Index

38

Active since

1977

Affiliations

University of Pennsylvania(Current)

Institut national de recherche en sciences et technologies du numérique

École Polytechnique

Laboratoire d'Informatique de l'École Polytechnique

California University of Pennsylvania

Dale Miller is an author at University of Pennsylvania specializing in computer science, computing, and logic.

Publications per year

1977–2022

81

Publications

81

Uniform proofs as a foundation for logic programming

Dale Miller, Gopalan Nadathur, Frank Pfenning et al. · Annals of Pure and Applied Logic · 1991 · 576 citations

Computing, Computer Science, Logic +16

Logic Programming in a Fragment of Intuitionistic Linear Logic

Joshua S. Hodas, Dale Miller · Information and Computation · 1994 · 395 citations · Full text

Computing, Computer Science, Mathematics +12

A Logic Programming Language with Lambda-Abstraction, Function Variables, and Simple Unification

Dale Miller · Journal of Logic and Computation · 1991 · 372 citations

Computing, Computer Science, Logic +13

A logical analysis of modules in logic programming

Dale Miller · The Journal of Logic Programming · 1989 · 235 citations

Computing, Computer Science, Formal Methods +10

Unification under a mixed prefix

Dale Miller · Journal of Symbolic Computation · 1992 · 165 citations

Language Studies, Computer Science, Computational Linguistics +2

1–5 of 81