Ml with callcc is unsound, message sent to the “types” mailing list. Archived at: http://www.seas.upenn.edu/ ~sweirich/types/archive/1991/msg00034.html (1991)

by R Harper, M Lillibridge
Venue:in: TLCA ’99: Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications