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. Mar 12 2025 16.10 - 17.10 LFCS Seminar Wednesday 12th March: Lus Caires Luis Caires, Técnico Lisboa https://luiscaires.org/ Note: unusual day and time. 40 George Square LG.08.
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. Mar 12 2025 16.10 - 17.10 LFCS Seminar Wednesday 12th March: Lus Caires Luis Caires, Técnico Lisboa https://luiscaires.org/ Note: unusual day and time. 40 George Square LG.08.
Mar 12 2025 16.10 - 17.10 LFCS Seminar Wednesday 12th March: Lus Caires Luis Caires, Técnico Lisboa https://luiscaires.org/ Note: unusual day and time.