Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dale Miller
Mechanized Metatheory Revisited
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Translating Between Implicit and Explicit Versions of Proof
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Extracting Proofs From Tabled Proof Search
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Lightweight Formalization of the Metatheory of Bisimulation-Up-To
Deriving Mixed Evaluation From Standard Evaluation for a Simple Functional Language
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Employee Rosters Rise; Wages Continue to Climb
Looking for a Job, Finding the Right Employee
