#30 Actors, GADTs and Burnout - Dan and Pedro

from Type Theory Forall · host Pedro Abreu

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 Dan's Personal Website Twitter: @dplyukhn

Episode metadata supplied by the publisher feed · Published May 30, 2023

Embed this episode

Attribution link and audio player

NOW PLAYING

#30 Actors, GADTs and Burnout - Dan and Pedro

0:00 1:44:52

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Type Theory Forall?

This episode is 1 hour and 44 minutes long.

When was this Type Theory Forall episode published?

This episode was published on May 30, 2023.

Can I download this Type Theory Forall episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!