Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#29 Can PL theory make you a better software engineer?

Jimmy Koppel

Apr 11th 2024   |  84 min
0:00
0:00

Jimmy Koppel, got his PhD at MIT and found the Mirdin Company, where he teaches engineers to write better code! In this interview we talk about how to make better code, how the knowledge of computer science theory and programming languages can help engineers to achieve that, and much more!

Links

Newsletters discussed in the show