Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Russell O'Connor
2010 – today
- 2012
[c5]Jacques Carette, Russell O'Connor: Theory Presentation Combinators. AISC/MKM/Calculemus 2012: 202-215- [i10]
- 2011
- [j3]Russell O'Connor: Classical mathematics for a constructive world. Mathematical Structures in Computer Science 21(4): 861-882 (2011)
- [c4]Jacques Carette, William M. Farmer, Russell O'Connor: MathScheme: Project Description. Calculemus/MKM 2011: 287-288
- [i9]Russell O'Connor: Functor is to Lens as Applicative is to Biplate: Introducing Multiplate. CoRR abs/1103.2841 (2011)
- [i8]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)
- 2010
- [j2]Russell O'Connor, Bas Spitters: A computer-verified monadic functional implementation of the integral. Theor. Comput. Sci. 411(37): 3386-3402 (2010)
- [i7]
2000 – 2009
- 2009
- [c3]
- 2008
- [c2]Russell O'Connor: Certified Exact Transcendental Real Number Computation in Coq. TPHOLs 2008: 246-261
- [i6]Russell O'Connor: Certified Exact Transcendental Real Number Computation in Coq. CoRR abs/0805.2438 (2008)
- [i5]
- [i4]Russell O'Connor, Bas Spitters: A computer verified, monadic, functional implementation of the integral. CoRR abs/0809.1552 (2008)
- [i3]
- 2007
- [j1]Russell O'Connor: A monadic, functional implementation of real numbers. Mathematical Structures in Computer Science 17(1): 129-159 (2007)
- 2006
- [i2]
- 2005
- [c1]
- [i1]Russell O'Connor: Essential Incompleteness of Arithmetic Verified by Coq. CoRR abs/cs/0505034 (2005)
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-10-11 22:31 CEST by the dblp team