Контент предоставлен Pedro Abreu. Весь контент подкастов, включая эпизоды, графику и описания подкастов, загружается и предоставляется непосредственно компанией Pedro Abreu или ее партнером по платформе подкастов. Если вы считаете, что кто-то использует вашу работу, защищенную авторским правом, без вашего разрешения, вы можете выполнить процедуру, описанную здесь https://ru.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

86 эпизодов

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

Все серии

Добро пожаловать в 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