Type Theory Forall

#32 TyDe Systems - Jan de Muijnck-Hughes

Type Theory Forall

In this episode we continue our conversation with Jan de Muijnck-Hughes a Research Associate at Glasgow University. He works using all sorts of fancy type systems mostly targeted for hardware specification, particularly with the aid of the theorem prover Idris. This episode we start by talking a little about Impostor Syndrome in academia and how he has learned to cope with it and then we dive deeper into the technicalities of his research, in particular his philosophy on Type Directed Design of Systems. We talk about Session Types, Graded Types, Quantitative types, etc.

Don't forget to join our new discord channel!

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

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