• #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

  • Aug 29 2024
  • Length: 1 hr and 53 mins
  • Podcast

#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

  • Summary

  • 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
    • Fabrizio's Website
    • Fabrizio's Linkedin
    • Fabrizio's X / Twitter
    • Fabrizio's Mastodon
    • Fabrizio's Youtube
    • Jolie's Website
    Show more Show less
activate_Holiday_promo_in_buybox_DT_T2

What listeners say about #42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

Average customer ratings

Reviews - Please select the tabs below to change the source of reviews.