Software Engineering Radio: Type Systems

Podcast (MP3): Download

Hosts: Arno  Eberhard 

Guests:  

Recording venue:

In recent episodes we have discusses statically and dynamically typed languages and domain specific languages - topics that are much talked about in the community at the moment. In this episode we look at the foundation of programming languages : types. We explain what a type actually is, how type systems work and what polymorphism works.

• The well known On Understanding Types, Data Abstraction, and Polymorphism paper with an impressive number of citations.
• Definition of Type Systems at Wikipedia