Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Michael O'Connor
conf.researchr.org general profile
ICFP 2021 profile
Registered user since Thu 29 Jul 2021
Name:
Michael O'Connor
Affiliation:
Jane Street
Contributions
2021
OCaml
Author of Safe Protocol Updates via Propositional Logic within the OCaml 2021-track
Share
x
Fri 19 Apr 16:07