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