#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi
Type Theory Forall
In this episode we talk with Fabrizio Montesi, a Full Professor at the University of South Denmark. He is one of the creators of the Jolie Programming Language, President of the Microservices Community and Author of the book 'Introduction to Choreographies'. In todayβs episode we talk about the formal side of Distributed Sytems, session types, the calculi that model distributed systems, their type systems, their Curry-Howard correspondences, and all the main ideas around these concepts.
If you enjoy the show please consider supporting us at our ko-fi: https://ko-fi.com/typetheoryforall
Links
Next Episodes
#41 The Value of PL (and) Education - Satnam Singh @ Type Theory Forall
π 2024-08-15 14:00 / β 01:41:04
#40 Secure Voting - Joe Kiniry @ Type Theory Forall
π 2024-07-15 14:45 / β 01:08:54
#39 Equality, Quotation, Bidirectional Type Checking - David Christiansen @ Type Theory Forall
π 2024-06-13 22:30 / β 01:49:42
#38 Haskell, Lean, Idris, and the Art of Writing - David Christiansen @ Type Theory Forall
π 2024-05-16 23:30 / β 01:55:58
#37 Compilers, Staging, Futamura Projections - Guannan Wei @ Type Theory Forall
π 2024-03-11 22:30 / β 01:53:20