Add link to a paper by Philip Wadler as background material