Deeply typed programming languages

typeinference.com