Russell O'Connor

According to our database, Russell O'Connor authored at least 18 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Enhancing Bitcoin Transactions with Covenants.

Russell O'Connor, Marta Piekarska

Proceedings of the Financial Cryptography and Data Security, 2017

Simplicity: A New Language for Blockchains.

Russell O'Connor

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

2015

A representation theorem for second-order functionals.

Mauro Jaskelioff, Russell O'Connor

J. Funct. Program., 2015

2013

A Machine-Checked Proof of the Odd Order Theorem.

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

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

2012

Theory Presentation Combinators.

Jacques Carette, Russell O'Connor

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

Classical mathematics for a constructive world.

Russell O'Connor

Math. Struct. Comput. Sci., 2011

The MathScheme Library: Some Preliminary Experiments

Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran

CoRR, 2011

Functor is to Lens as Applicative is to Biplate: Introducing Multiplate

Russell O'Connor

CoRR, 2011

MathScheme: Project Description.

Jacques Carette, William M. Farmer, Russell O'Connor

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

Video presentation of Functor : Lens : : Applicative : Biplate: Introducing Multiplate.

Russell O'Connor

Proceedings of the seventh ACM SIGPLAN workshop on Generic programming, 2011

2010

A computer-verified monadic functional implementation of the integral.

Russell O'Connor, Bas Spitters

Theor. Comput. Sci., 2010

L-plotting - A method for visual analysis of physiological experimental and modeling multi-component data.

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

Neurocomputing, 2010

2009

Computing with Classical Real Numbers.

Cezary Kaliszyk, Russell O'Connor

J. Formaliz. Reason., 2009

Computer Verified Exact Analysis (Tutorial).

Bas Spitters, Russell O'Connor

Proceedings of the Sixth International Conference on Computability and Complexity in Analysis, 2009

2008

A Computer Verified Theory of Compact Sets

Russell O'Connor

CoRR, 2008

Certified Exact Transcendental Real Number Computation in Coq.

Russell O'Connor

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

2007

A monadic, functional implementation of real numbers.

Russell O'Connor

Math. Struct. Comput. Sci., 2007

2005

Essential Incompleteness of Arithmetic Verified by Coq.

Russell O'Connor

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005