Robert Atkey

1. Dijkstra Monads for All
   2019/03/04 by Kenji Maillard, Maillard, Kenji, Danel Ahman +11 · 1 voice · 1 citation
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
2. Data Provenance as Automatic Differentiation
   2025/11/12 by Robert Atkey, Roly Perera, Atkey, Robert +1 · 3 voices
   Computer Science · #FOS: Computer and information sciences #Programming Languages (cs.PL) #cs.PL
3. 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)