languages 2 Deeply typed programming languages Jan 12, 2017 Algebraic Types and Rudimentary Coding Sep 15, 2016