5: Type Systems

Code Podcast Forum: https://discuss.codepodcast.com

Episode produced by:
Andrey Salomatin https://twitter.com/filipovskii
Michael Beschastnov michael@codepodcast.com

Guests (in order of appearance):
Joseph Abrahamson https://twitter.com/sdbo
Radoslav Kirov https://twitter.com/radokirov
Erlend Hamberg https://twitter.com/ehamberg
Edwin Brady https://twitter.com/edwinbrady

Special thanks to our reviewers, this time:
Adriano Melo https://twitter.com/AdrianoMelo
Roman Liutikov https://twitter.com/roman01la

If you'd like to help us make the podcast better *and* get episodes earlier, consider becoming a reviewer: https://gist.github.com/filipovskii/f12685bc74a425ba651c736fb5e3e5ae

## Links: Basics

Benjamin C. Pierce "Types and Programming Languages" https://www.cis.upenn.edu/~bcpierce/tapl/
A draft of the book available for free: http://ropas.snu.ac.kr/~kwang/520/pierce_book.pdf

Rob Nederpelt and Herman Geuvers "Type Theory and formal proof" http://www.win.tue.nl/~wsinrpn/book_type_th