Fixpoint combinator from typed prompt/control (2007)

by O Kiselyov