Вміст надано Pedro Abreu. Весь вміст подкастів, включаючи епізоди, графіку та описи подкастів, завантажується та надається безпосередньо компанією Pedro Abreu або його партнером по платформі подкастів. Якщо ви вважаєте, що хтось використовує ваш захищений авторським правом твір без вашого дозволу, ви можете виконати процедуру, описану тут https://uk.player.fm/legal.

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

16d ago 1:52:49

Поширити

MP3•Головна епізоду

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

82 епізодів

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

Усі епізоди

Ласкаво просимо до Player FM!

Player FM сканує Інтернет для отримання високоякісних подкастів, щоб ви могли насолоджуватися ними зараз. Це найкращий додаток для подкастів, який працює на Android, iPhone і веб-сторінці. Реєстрація для синхронізації підписок між пристроями.

Слухайте шоу на 500+ тем

Схожі до Type Theory Forall

Подкасти, які варто послухати

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

Links

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

Links

Подкасти, які варто послухати

Ласкаво просимо до Player FM!

Схожі до Type Theory Forall

Короткий довідник

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