Dale Miller

Identifiers

• name variant Dale Miller 0.60 · backfill

Papers (8)

1. Automating proof search when equality is a logical connective cs.LO · 2026 · author #3
2. Well-Typed Languages are Sound cs.PL · 2016 · author #2
3. A two-level logic approach to reasoning about computations cs.LO · 2009 · author #2
4. Nominal Abstraction cs.LO · 2009 · author #2
5. Proof Search Specifications of Bisimulation and Modal Logics for the pi-Calculus cs.LO · 2008 · author #2
6. Reasoning in Abella about Structural Operational Semantics Specifications cs.LO · 2008 · author #2
7. Combining generic judgments with recursive definitions cs.LO · 2008 · author #2
8. The Bedwyr system for model checking over syntactic expressions cs.LO · 2007 · author #3

Mentions

• 2605.20054 #3 · arxiv_oai · confidence 0.70 Dale Miller
• 0911.2993 #2 · backfill · confidence 0.70 Dale Miller
• 0908.1390 #2 · backfill · confidence 0.70 Dale Miller
• 0805.2785 #2 · backfill · confidence 0.70 Dale Miller
• 0804.3914 #2 · backfill · confidence 0.70 Dale Miller
• 0802.0865 #2 · backfill · confidence 0.70 Dale Miller

Frequent Coauthors

• Andrew Gacek 5 shared papers
• Gopalan Nadathur 5 shared papers
• Alwen Tiu 2 shared papers
• Arunava Gantait 1 shared papers
• David Baelde 1 shared papers
• Jeremy G. Siek 1 shared papers
• Kaustuv Chaudhuri 1 shared papers
• Matteo Cimini 1 shared papers