person · community record
Russell O'Connor
A connected record in the developer community graph.
Checking node ownership…
01
Connections
34 relationships
participated_inScale By The Bay 2018: Russell O Conner Interviewtalk ↗presentedScale By The Bay 2018: Russell O Conner Interviewtalk ↗authoredA Computer Verified Theory of Compact Setspaper ↗authoredA Machine-Checked Proof of the Odd Order Theorempaper ↗authoredA Represention Theorem for Second-Order Functionalspaper ↗authoredA computer-verified monadic functional implementation of the integralpaper ↗authoredA monadic, functional implementation of real numberspaper ↗authoredA representation theorem for second-order functionalspaper ↗authoredAssembly : Circular Programming with Recursive dopaper ↗authoredCertified Exact Transcendental Real Number Computation in Coqpaper ↗authoredClassical mathematics for a constructive worldpaper ↗authoredComputer Verified Exact Analysis (Tutorial)paper ↗