Какую-то книжку пролистывал месяца два назад... Луки Карделли. То ли по теории типов, то ли что-то около того... Не помню )

А, вот его страница:http://www.lucacardelli.name/
Да, как раз Type Systems работа.