O'Connor, Russell
- 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