Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
E. T. Petersen
Claudia Calabrese
Dimitris Tzimikas
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Roland Brockers
Radu Timofte
Kuanrui Yin
Home
/
Author
/
RUSSELL O'CONNOR
Author Info
Open Visualization
Name
Affiliation
Papers
RUSSELL O'CONNOR
Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada
16
Collaborators
Citations
PageRank
22
154
11.75
Referers
Referees
References
302
153
111
Search Limit
100
302
Publications (16 rows)
Collaborators (22 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Simplicity: A New Language for Blockchains.
13
1.04
2017
A Representation Theorem for Second-Order Functionals.
2
0.39
2014
A machine-checked proof of the odd order theorem
80
3.41
2013
Theory presentation combinators
1
0.36
2012
Video presentation of Functor : Lens :: Applicative : Biplate: Introducing Multiplate
0
0.34
2011
Functor is to Lens as Applicative is to Biplate: Introducing Multiplate
10
0.76
2011
MathScheme: project description
2
0.38
2011
The MathScheme Library: Some Preliminary Experiments
4
0.48
2011
Classical Mathematics for a Constructive World
2
0.49
2010
A computer verified, monadic, functional implementation of the integral
1
0.39
2010
Computer Verified Exact Analysis (Tutorial)
0
0.34
2009
Computing With Classical Real Numbers
2
0.41
2008
Certified Exact Transcendental Real Number Computation in Coq
24
1.41
2008
A Computer Verified Theory of Compact Sets
2
0.38
2008
A monadic, functional implementation of real numbers
6
0.63
2007
Essential incompleteness of arithmetic verified by coq
5
0.52
2005
1