Books
-
Proof Theory and Logic Programming: Computation as Proof
Search. This book started as notes for my lectures during the
MPRI course in linear logic (which ended in the academic year
2023/4). I plan to finish this book in January 2025 and then have it
published by Cambridge University Press. If you are
interested in reading this pre-publication draft, follow
this link.
-
Programming with
Higher-Order Logic by Dale Miller and Gopalan
Nadathur. Published
by Cambridge
University Press, June 2012, 320 pp. Available
via Amazon
and
Barnes
and Noble.
Editor of special issues in journals
Edited proceedings
-
Proc. of the
17th International Symposium on Functional and Logic Programming
(FLOPS 2024), Kumamoto, Japan, May 15-17, 2024. Edited
by Jeremy Gibbons and Dale Miller. Published by Springer as LNCS
14659.
-
Proceedings
of the Fourteenth Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice, Vancouver, Canada, 22
June 2019. Edited by Dale Miller and Ivan Scagnetto. Published
by EPTCS. DOI 10.4204/EPTCS.307.
-
Proceedings of
the 2nd International Conference on Formal Structures for
Computation and Deduction, FSCD 2017, 2-9 September
2017, Oxford, UK. Edited by Dale Miller. Published by
LIPIcs. ISBN 978-3-95977-047-7. DOI 10.4230/LIPIcs.FSCD.2017.0.
-
Proceedings of the
Joint Meeting of the Twenty-Third EACSL Annual Conference on
Computer Science Logic (CSL) and the Twenty-Ninth Annual
ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS
2014 edited by Tom Henzinger and Dale Miller,
14-18 July 2014, Vienna, Austria. Published by the ACM.
ISBN 978-1-4503-2886-9.
-
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
MS-CIS-92-80.
(PDF).
-
Proceedings
of the Workshop on the λProlog Programming
Language, University of Pennsylvania, July 1992. Edited by Dale
Miller. Available as UPenn CIS technical
report MS-CIS-92-86.
(PDF).