Thanks for the pointer. The reference makes sense now, as Philip Wadler is a coauthor of that paper.