Add moar links to Wadler's papers