2006-12-07 Type System for Erlang http://web.archive.org/web/19991001153114/www.dcs.gla.ac.uk/~simonm/ というのが過去にあったみたいです。今はサイトが失われていますが。