Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ron Pressler
conf.researchr.org general profile
ECOOP 2015 profile
ECOOP 2016 profile
ECOOP 2019 profile
ECOOP and ISSTA 2018 profile
PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Not registered as user yet
Name:
Ron Pressler
Contributions
ECOOP 2019
Author of Loom: Bringing Lightweight Threads and Delimited Continuations to the JVM within the Curry On-track
CurryOn 2018
Author of Finite of Sense and Infinite of Thought: A History of Computation, Logic and Algebra within the Curry On Talks-track
CurryOn 2017
Author of The Practice and Theory of TLA+ within the Curry On Talks-track
CurryOn 2016
Author of Why Writing Correct Software Is Hard and Why Math (Alone) Won’t Help Us within the CurryOn -track
ECOOP 2015
Speaker of Pull > Push: Please stop polluting our imperative languages with pure concepts within the Curry On-track
Share
x
Mon 10 May 21:48
