Scalæ By the Bay has ended
Back To Schedule
Friday, November 11 • 2:10pm - 2:50pm
Concurrent Join Calculus in Scala

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Join Calculus is a little-known programming paradigm for purely functional concurrency. Join Calculus develops upon the Actor model to make concurrent programming less imperative, type-safe, deadlock-free, and even more intuitive. I give an introduction to Join Calculus and present examples such as the "dining philosophers" problem and a concurrent merge sort. I present a prototype implementation of Join Calculus as an embedded Scala DSL, based on previous work of Philipp Haller and Jiansen He.

avatar for Sergei Winitzki

Sergei Winitzki

Senior Software Engineer, Workday Inc.
Theoretical physicist turned software engineer, passionate for functional programming, functional type theory, and declarative domain-specific languages.

Friday November 11, 2016 2:10pm - 2:50pm PST