Typing first-class continuations in ML (1989)

by Concert Multithread Architecture