Publications
Refereed and Pending Publications
- Russell O’Connor. Functor is to Lens as Applicative is to Biplate: Introducing Multiplate. ACM SIGPLAN 7th Workshop on Generic Programming, Tokyo, Japan, 18th September 2011, arXiv:1103.2841v2 [cs.PL]
- Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O’Connor, Quang M. Tran. The MathScheme Library: Some Preliminary Experiments. Conference on Intelligent Computer Mathematics 2011: Work-in-Progess, Bertinoro, Forli (ITALY), 18-23 July 2011.
- Russell O’Connor. Classical Mathematics for a Constructive World. Mathematical Structures in Computer Science (2011), 21: 861–882
- Russell O’Connor and Bas Spitters. A Computer Verified, Monadic, Functional Implementation of the Integral. Theoretical Computer Science, Vol. 411, No. 37, Aug 2010, Pages 3386–3402
- Cezary Kaliszyk and Russell O’Connor. Computing with Classical Real Numbers. Journal of Formalized Reasoning, Vol. 2, No. 1, 2009, Pages 27–29
- Russell O’Connor. Certified Exact Transcendental Real Number Computation in Coq. TPHOLS 2008, LNCS 5170: 246–261, Aug 2008, Proceedings
- Russell O’Connor. A Computer Verified Theory of Compact Sets. SCSS 2008, RISC-Linz Report Series 08–08: 148–162, Jul 2008, Proceedings
- Russell O’Connor. A monadic, functional implementation of real numbers. Mathematical Structures in Computer Science, Feb 2007. Volume 17, Issue 1, pp. 129–159
- Russell O’Connor. Essential Incompleteness of Arithmetic Verified by Coq. Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLS 2005, Lecture Notes in Computer Science, Volume 3603, Aug 2005. Proceedings, pp. 245–260
Other Publications