Active Bibliography

Abstract – Joshua S. Hodas, Dale Miller
Logic Programming in a Fragment of Intuitionistic Linear Logic – Joshua S. Hodes, Dale Miller - 1992
153 Higher-order logic programming – Gopalan Nadathur, Dale Miller
85 Forum: A multiple-conclusion specification logic – Dale Miller - 1996
8 An Overview of Linear Logic Programming – Dale Miller - 1985
377 Uniform proofs as a foundation for logic programming – Dale Miller, Gopalan Nadathur , Frank Pfenning , Andre Scedrov - 1991
1111 Proof-Carrying Code – George C. Necula - 1997
Sequent Calculus and the Specification of Computation Lecture Notes – C Dale Miller, Pond Lab - 2001
778 Logical foundations of object-oriented and frame-based languages – Michael Kifer, Georg Lausen, James Wu - 1995