LFCS Seminar Wednesday 12th March: Lus Caires

Title: Linear Concurrent Programming with CLASS
 
Abstract: We overview CLASS, a strongly typed linear session-based language that flexibly supports realistic functional, imperative, and concurrent programming idioms. CLASS type system, based on a propositions-as-types interpretation of Linear Logic, statically ensures that programs never misuse or leak stateful memory, they never deadlock, and always terminate. In this talk, we briefly discuss the foundations and design of CLASS, and illustrate its expressiveness with some shared-state concurrency examples. We also cover a recent CLASS implementation based on the Linear Session Abstract Machine, and suggest some work ahead.