Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Type Theory Forall « »
#42 Distributed Systems, Microservices, and Choreographies - Fabrizio Montesi

2M ago 1:52:49

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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.

Links

… continue reading

82 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

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

Type Theory Forall

27 subscribers

published 2M ago

Del

MP3•Episode hjem

Indhold leveret af Pedro Abreu. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Pedro Abreu eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

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.

Links

… continue reading

82 episoder

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

ทุกตอน

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner