Hacker News new | past | comments | ask | show | jobs | submit
Thanks for the pointer. The reference makes sense now, as Philip Wadler is a coauthor of that paper.