Russell O’Connor
- Functor is to Lens as Applicative is to Biplate: Introducing Multiplate
2011/03/15 by Russell O’Connor, Russell O'Connor, O'Connor, Russell · 1 citation
Computer Science · #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Model-Driven Software Engineering Techniques #Programming Languages (cs.PL) #cs.PL
- The MathScheme Library: Some Preliminary Experiments
2011/06/09 by Jacques Carette, Carette, Jacques, William M. Farmer +11 · 1 citation
Computer Science · Mathematics · #Computability, Logic, AI Algorithms #D.2.1 #D.3.3 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #I.1.3 #Logic, programming, and type systems #Mathematical Software (cs.MS) #Mathematics, Computing, and Information Processing #Rings and Algebras (math.RA) #Software Engineering (cs.SE) #Symbolic Computation (cs.SC) #cs.MS #cs.SC #cs.SE #math.RA
- A Joint Computational Respiratory Neural Network-Biomechanical Model for Breathing and Airway Defensive Behaviors
2012/01/01 by Russell O’Connor, Lauren S. Segers, Kendall F. Morris +5 · 1 citation
Neuroscience · Medicine · #Neuroscience of respiration and sleep #Heart Rate Variability and Autonomic Control #Respiratory Support and Mechanisms
- Certified Exact Transcendental Real Number Computation in Coq
2008/01/01 by Russell O’Connor · 1 citation
Computer Science · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Numerical Methods and Algorithms