 Following that, Friedman and Felleisen introduced a lambda calculus with continuations and control operators.Their work has spawned work on semantics, connections between classical logic and computation, and practical extensions of continuations.Friedman is also a prolific textbook author.