A bug in sml polymorphic typing for continuations. Email to types@theory.lcs.mit.edu (1991)

by R Harper, M Lillibridge