Type Theory Forall

#31 Discussing Problems in PL and Academia - Jan de Muijnck-Hughes

Type Theory Forall

In this episode we have a deep conversation with Jan de Muijnck-Hughes, talks about all the cool research he has done with idris, hardware and different kinds of interesting type systems such as session types, quantitative types and graded types. In the second half we discuss all the different kinds of problems that has been going on in PL academia lately and what we can do as a community to address those issues.

Also, we have a discord channel now, join us!

If you like our show please consider donating any amount at ko-fi.

Errata:

  • Jan mentions ‘Jeff Foster’ when, in fact, he meant Nate Foster
  • This is the SIGCOMM ‘Call’: https://sigcomm.quest/
  • Felinne Hermans did her PhD at Eindhoven and not Delft

Links

Project Pages

Cool People

Software

Next Episodes

Type Theory Forall

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

📆 2023-05-31 01:30 / 01:44:52


Type Theory Forall

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

📆 2023-05-31 01:30 / 01:44:52


Type Theory Forall

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

📆 2023-05-31 00:30 / 01:44:52