Tanter, Éric

1. Dijkstra Monads for All
   2019/03/04 by Kenji Maillard, Danel Ahman, Maillard, Kenji +11 · 1 voice · 2 citations
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
2. Gradual C0: Symbolic Execution for Gradual Verification
   2022/10/05 by Jenna DiVincenzo, DiVincenzo, Jenna, Ian McCormack +16 · 2 citations
   Computer Science · #F.3.1 #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
3. Propositional Equality for Gradual Dependently Typed Programming
   2022/05/02 by Eremondi, Joseph, Garcia, Ronald, Tanter, Éric · 1 citation
   #FOS: Computer and information sciences #Programming Languages (cs.PL)