David Darais

Identifiers

• name variant David Darais 0.60 · backfill

Papers (6)

1. Constructive Galois Connections cs.PL · 2018 · author #1
2. Abstracting Definitional Interpreters cs.PL · 2017 · author #1
3. Constructive Galois Connections: Taming the Galois Connection Framework for Mechanized Metatheory cs.PL · 2015 · author #1
4. Mechanically Verified Calculational Abstract Interpretation cs.PL · 2015 · author #1
5. Galois Transformers and Modular Abstract Interpreters cs.PL · 2014 · author #1
6. Yacc is dead cs.PL · 2010 · author #2

Mentions

• 1511.06965 #1 · backfill · confidence 0.70 David Darais
• 1507.03559 #1 · backfill · confidence 0.70 David Darais
• 1411.3962 #1 · backfill · confidence 0.70 David Darais
• 1010.5023 #2 · backfill · confidence 0.70 David Darais

Frequent Coauthors

• David Van Horn 5 shared papers
• Matthew Might 2 shared papers
• Nicholas Labich 1 shared papers
• Phuc C. Nguyen 1 shared papers