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

Type Theory Forall « »
#30 Actors, GADTs and Burnout - Dan and Pedro

1+ y ago 1:44:52

Поширити

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

In this episode we have over Dan Plyukhin, a PhD Candidate from the University of Illinois Urbana-Champaign.

We talk about Dan’s research is in the field of parallelism, more specifically garbage collection in the presence of actors.

Then we also talk about Pedro's research on translating GADTs from OCaml to Coq, and the burnout process that lead him to take 10 months off from his PhD to be with his family back in Brazil.

Links

82 епізодів

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

Wszystkie odcinki

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

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

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

Схожі до Type Theory Forall

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

Type Theory Forall « » #30 Actors, GADTs and Burnout - Dan and Pedro

Links

#30 Actors, GADTs and Burnout - Dan and Pedro

Links

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

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

Схожі до Type Theory Forall

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

Type Theory Forall « »
#30 Actors, GADTs and Burnout - Dan and Pedro