• Sign in
  • Sign up
conf.researchr.org / Ron Pressler
  • ECOOP 2015 profile
  • ECOOP 2016 profile
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2018 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
Ron Pressler

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
xSat 21 May 09:26
using conf.researchr.org (v1.55.6)
Support page
Sign Up