undefined

points

[-]

I'm not sure about the haskell association, but search for "Featherweight Go"

[-]

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