Add Wadler's erlang typing link