[journeeman]

There's an upcoming talk by Philip Wadler on this paper on June 8 - http://chalmersfp.org/

YouTube channel where the talk will be streamed live - https://www.youtube.com/channel/UCiGOzKde1rlvzEB7J73gvrQ