Books
Editor of special issues in journals
Edited proceedings

Proceedings of the
Joint Meeting of the TwentyThird EACSL Annual Conference on
Computer Science Logic (CSL) and the TwentyNinth Annual
ACM/IEEE Symposium on Logic in Computer Science (LICS), CSLLICS
2014 edited by Tom Henzinger and Dale Miller,
1418 July 2014, Vienna, Austria. Published by the ACM.
ISBN 9781450328869.

Proceedings of the
2nd International Conference on Certified Programs and Proofs (CPP
2012) edited by Chris Hawblitzel and Dale Miller.
Kyoto, Japan, December 2012. LNCS 7679, Springer.

Proceedings of the
6th International Joint Conference on Automated Reasoning (IJCAR
2012) edited by Bernhard Gramlich, Dale Miller, and Uli
Sattler. Manchester, UK, June 2012. LNAI 7364, Springer.

Proceedings of the
8th Workshop on Fixed Points in Computer Science
(FICS 2012) edited by Dale Miller and Zoltan Esik. Published as
EPTCS 77, Feb 2012:
pdf.

Proceedings of the 2003 International Conference on Principles and
Practice of Declarative Programming, PPDP 2003, Vancouver,
Canada, October 1993. Edited by Dale Miller. Published by the
ACM.

Proceedings of the 1993 International Logic Programming
Symposium (ILPS 1993), Vancouver, Canada, October 1993. Edited by Dale Miller.
Published by MIT Press.

Proceedings
of the Workshop on Linear Logic and Logic Programming,
Washington, DC, November 1992. Edited by Dale Miller. Available as
UPenn CIS technical report
MSCIS9280.

Proceedings
of the Workshop on the λProlog Programming
Language, University of Pennsylvania, July 1992. Edited by Dale
Miller. Available as UPenn CIS technical
report MSCIS9286.
Book chapters

Automation of HigherOrder Logic by Christoph Benzmüller and Dale Miller.
Draft dated 16 March 2014.
Handbook of the History of Logic, Volume
9: Logic and Computation, edited by D. Gabbay, J. Siekmann,
and J. Woods (NorthHolland), pp. 215254.

A ProofTheoretic Approach to the Static Analysis of Logic
Programs by Dale Miller. In Reasoning in Simple Type Theory:
Festschrift in honour of Peter B. Andrews on his 70th birthday
edited by Christoph Benzmueller, Chad E. Brown, Jörg Siekmann, and
Richard Statman. Studies in Logic, Volume 17. Published by College
Publications, December 2008.
(pdf). A λProlog
implementation of the static analysis checker described in this paper
is available.

Overview of linear logic programming,
by Dale Miller.
In
Linear Logic in Computer Science, edited by Thomas
Ehrhard, JeanYves Girard, Paul Ruet, and Phil Scott. Cambridge
University Press. London Mathematical Society Lecture Note, Volume
316, 2004.
(ps,
dvi,
pdf).

HigherOrder Logic Programming, by Gopalan Nadathur and Dale
Miller. In Volume 5 of the Handbook of Logics for Artificial
Intelligence and Logic Programming, edited by Dov M. Gabbay,
C. J. Hogger, and J. A. Robinson (Clarendon Press, Oxford),
pp. 499590 (1998). (DVI, pdf,
Abstract).

Sequent Calculus and the Specification of Computation
in Computational Logic, edited by U. Berger and H. Schwichtenberg.
NATO Advanced Science Institute Series, subseries F: Computer and
Systems Sciences, Springer, 399  444. Based on lectures given at
the International Summer School Marktoberdorf on Logic of Computation,
29 July  10 August 1997.

Logic Programming and MetaLogic in The Logic of
Computation, edited by H. Schwichtenberg. NATO Advanced Science
Institute Series, subseries F: Computer &s; Systems Sciences,
published by SpringerVerlag, pp. 265  308 (1997). Based on
lectures given at the International Summer School Marktoberdorf on
Logic of Computation, 25 July  6 August 1995.

Abstractions in logic programming, by Dale Miller.
Logic and Computer Science, edited by Peirgiorgio Odifreddi,
Academic Press, pp. 329  359, 1990.
(DVI, pdf)