Sprunger, David

1. Functorial String Diagrams for Reverse-Mode Automatic Differentiation
   2021/07/28 by Mario Alvarez-Picallo, Dan R. Ghica, Alvarez-Picallo, Mario +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #I.2.5 #Machine Learning (cs.LG) #Modeling and Simulation Systems #Numerical Methods and Algorithms #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL)
2. A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
   2022/01/25 by Ghica, Dan R., Kaye, George, Sprunger, David · 1 citation
   #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)