- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 17 |      | Jacques Carette, Russell O'Connor: Theory Presentation Combinators CoRR abs/1204.0053: (2012) |
| 2011 | ||
| 16 | | Jacques Carette, William M. Farmer, Russell O'Connor: MathScheme: Project Description. Calculemus/MKM 2011: 287-288 |
| 15 | | Russell O'Connor: Functor is to Lens as Applicative is to Biplate: Introducing Multiplate CoRR abs/1103.2841: (2011) |
| 14 | | Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran: The MathScheme Library: Some Preliminary Experiments CoRR abs/1106.1862: (2011) |
| 13 | | Russell O'Connor: Classical mathematics for a constructive world. Mathematical Structures in Computer Science 21(4): 861-882 (2011) |
| 2010 | ||
| 12 | | Russell O'Connor: Classical Mathematics for a Constructive World CoRR abs/1008.1213: (2010) |
| 11 | | Russell O'Connor, Bas Spitters: A computer-verified monadic functional implementation of the integral. Theor. Comput. Sci. 411(37): 3386-3402 (2010) |
| 2009 | ||
| 10 | | Bas Spitters, Russell O'Connor: Computer Verified Exact Analysis (Tutorial). CCA 2009 |
| 2008 | ||
| 9 | | Russell O'Connor: Certified Exact Transcendental Real Number Computation in Coq. TPHOLs 2008: 246-261 |
| 8 | | Russell O'Connor: Certified Exact Transcendental Real Number Computation in Coq CoRR abs/0805.2438: (2008) |
| 7 | | Russell O'Connor: A Computer Verified Theory of Compact Sets CoRR abs/0806.3209: (2008) |
| 6 | | Russell O'Connor, Bas Spitters: A computer verified, monadic, functional implementation of the integral CoRR abs/0809.1552: (2008) |
| 5 | | Cezary Kaliszyk, Russell O'Connor: Computing with Classical Real Numbers CoRR abs/0809.1644: (2008) |
| 2007 | ||
| 4 | | Russell O'Connor: A monadic, functional implementation of real numbers. Mathematical Structures in Computer Science 17(1): 129-159 (2007) |
| 2006 | ||
| 3 | | Russell O'Connor: A Monadic, Functional Implementation of Real Numbers CoRR abs/cs/0605058: (2006) |
| 2005 | ||
| 2 | | Russell O'Connor: Essential Incompleteness of Arithmetic Verified by Coq. TPHOLs 2005: 245-260 |
| 1 | | Russell O'Connor: Essential Incompleteness of Arithmetic Verified by Coq CoRR abs/cs/0505034: (2005) |
| 1 | Jacques Carette | [14] [16] [17] |
| 2 | William M. Farmer | [14] [16] |
| 3 | Filip Jeremic | [14] |
| 4 | Cezary Kaliszyk | [5] |
| 5 | Vincent Maccio | [14] |
| 6 | Bas Spitters | [6] [10] [11] |
| 7 | Quang M. Tran | [14] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page