Atkey, Robert
- Dijkstra Monads for All
2019/03/04 by Kenji Maillard, Danel Ahman, Maillard, Kenji +11 · 1 voice · 1 citation
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- Data Provenance as Automatic Differentiation
2025/11/12 by Robert Atkey, Atkey, Robert, Roly Perera +1 · 3 voices
Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
- A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics\n and Proofs
2020/01/29 by Guillaume Allais, Robert Atkey, Allais, Guillaume +7 · 1 citation
Computer Science · #Advanced Software Engineering Methodologies #F.3.2 #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL)
- Vehicle: Bridging the Embedding Gap in the Verification of Neuro-Symbolic Programs
2024/01/12 by Daggitt, Matthew L., Kokke, Wen, Atkey, Robert +3 · 1 citation
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences