Added Wadler's erlang typing link
Merge pull request #5 from jsyeo/jsyeo-links

Add Wadler's erlang typing link