Russell O'Connor

Publication Activity (10 Years)

Years Active: 2005-2018
Publications (10 Years): 5

Top Topics

Feature Representation

Transactional Data

Language Processing

Concurrent Execution

Top Venues

J. Funct. Program.

AISC/MKM/Calculemus

Publications

Jacques Carette, Russell O'Connor
Theory Presentation Combinators. CoRR (2018)
Russell O'Connor, Marta Piekarska
Enhancing Bitcoin Transactions with Covenants. Financial Cryptography Workshops (2017)
Russell O'Connor
Simplicity: A New Language for Blockchains. PLAS@CCS (2017)
Russell O'Connor
Simplicity: A New Language for Blockchains. CoRR (2017)
Mauro Jaskelioff, Russell O'Connor
A representation theorem for second-order functionals. J. Funct. Program. 25 (2015)
Mauro Jaskelioff, Russell O'Connor
A Representation Theorem for Second-Order Functionals. CoRR (2014)
Georges Gonthier, Andrea Asperti, Jeremy Avigad, Yves Bertot, Cyril Cohen, François Garillot, Stéphane Le Roux, Assia Mahboubi, Russell O'Connor, Sidi Ould Biha, Ioana Pasca, Laurence Rideau, Alexey Solovyev, Enrico Tassi, Laurent Théry
A Machine-Checked Proof of the Odd Order Theorem. ITP (2013)
Jacques Carette, Russell O'Connor
Theory Presentation Combinators. AISC/MKM/Calculemus (2012)
Jacques Carette, Russell O'Connor
Theory Presentation Combinators CoRR (2012)
Russell O'Connor
Functor is to Lens as Applicative is to Biplate: Introducing Multiplate CoRR (2011)
Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran
The MathScheme Library: Some Preliminary Experiments CoRR (2011)
Jacques Carette, William M. Farmer, Russell O'Connor
MathScheme: Project Description. Calculemus/MKM (2011)
Russell O'Connor
Video presentation of Functor : Lens : : Applicative : Biplate: Introducing Multiplate. WGP@ICFP (2011)
Russell O'Connor
Classical mathematics for a constructive world. Math. Struct. Comput. Sci. 21 (4) (2011)
Russell O'Connor, Bas Spitters
A computer-verified monadic functional implementation of the integral. Theor. Comput. Sci. 411 (37) (2010)
Russell O'Connor
Classical Mathematics for a Constructive World CoRR (2010)
Witali L. Dunin-Barkowski, Andrew T. Lovering, John M. Orem, David M. Baekey, Thomas E. Dick, Ilya A. Rybak, Kendall Francis Morris, Russell O'Connor, Sarah C. Nuding, Roger Shannon, Bruce G. Lindsey
L-plotting - A method for visual analysis of physiological experimental and modeling multi-component data. Neurocomputing 74 (1-3) (2010)
Bas Spitters, Russell O'Connor
Computer Verified Exact Analysis (Tutorial). CCA (2009)
Cezary Kaliszyk, Russell O'Connor
Computing with Classical Real Numbers. J. Formaliz. Reason. 2 (1) (2009)
Cezary Kaliszyk, Russell O'Connor
Computing with Classical Real Numbers CoRR (2008)
Russell O'Connor
A Computer Verified Theory of Compact Sets CoRR (2008)
Russell O'Connor
Certified Exact Transcendental Real Number Computation in Coq. TPHOLs (2008)
Russell O'Connor
Certified Exact Transcendental Real Number Computation in Coq CoRR (2008)
Russell O'Connor, Bas Spitters
A computer verified, monadic, functional implementation of the integral CoRR (2008)
Russell O'Connor
A monadic, functional implementation of real numbers. Math. Struct. Comput. Sci. 17 (1) (2007)
Russell O'Connor
A Monadic, Functional Implementation of Real Numbers CoRR (2006)
Russell O'Connor
Essential Incompleteness of Arithmetic Verified by Coq. TPHOLs (2005)
Russell O'Connor
Essential Incompleteness of Arithmetic Verified by Coq CoRR (2005)