This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
Friday, November 11 • 2:10pm - 2:50pm
Concurrent Join Calculus in Scala

Sign up or log in to save this to your schedule 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.
Functional programming, Type theory, Domain-specific languages, Machine Learning

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