\'Eric Tanter

Identifiers

• name variant \'Eric Tanter 0.60 · backfill

Papers (3)

1. Dijkstra Monads for All cs.PL · 2019 · author #7
2. Deriving a Simple Gradual Security Language cs.PL · 2015 · author #2
3. Gradual Certified Programming in Coq cs.PL · 2015 · author #1

Mentions

• 1511.01399 #2 · backfill · confidence 0.70 \'Eric Tanter
• 1506.04205 #1 · backfill · confidence 0.70 \'Eric Tanter

Frequent Coauthors

• Catalin Hritcu 1 shared papers
• Danel Ahman 1 shared papers
• Exequiel Rivas 1 shared papers
• Guido Martinez 1 shared papers
• Kenji Maillard 1 shared papers
• Nicolas Tabareau 1 shared papers
• Robert Atkey 1 shared papers
• Ronald Garcia 1 shared papers