Skip to main content

Questions tagged [continuations]

The tag has no usage guidance.

4 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
12 votes
0 answers

Are the types that show monads are more powerful than continuations revealing something of fundamental importance?

In 1992 in the paper Imperative Functional Programming, Simon Peyton Jones and Philip Wadler write: So monads are more powerful than continuations, but only because of the types! It is not clear ...
hawkeye's user avatar
  • 2,581
4 votes
0 answers

Description of the CPS transformation for the typed lambda-calculus

Is there somewhere a precise but hopefully readable account of how the CPS (=continuation-passing-style) transformation applies to the typed lambda-calculus? (Say, simply-typed with product and sum ...
Gro-Tsen's user avatar
  • 841
3 votes
0 answers

Type System Of $\lambda\mu$-Calculus

reading this paper on CPS-tranformation from the $\lambda\mu$-calculus, I'm a bit confused about the type system presented: Why second-order formulas in the types? Is this according to the Curry-...
fweth's user avatar
  • 139
2 votes
0 answers

"finally" for algebraic effects and handlers

In Java in addition to catch there is also finally, this is very important to make sure resources get cleaned up. I believe <...
Labbekak's user avatar
  • 701