Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform

@inproceedings{Rompf2009ImplementingFP,
  title={Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform},
  author={Tiark Rompf and Ingo Maier and Martin Odersky},
  booktitle={ICFP},
  year={2009}
}

• Tiark Rompf, Ingo Maier, Martin Odersky
• Published 2009 in ICFP
• DOI:10.1145/1596550.1596596

We describe the implementation of first-class polymorphic delimited continuations in the programming language Scala. We use Scala's pluggable typing architecture to implement a simple type and effect system, which discriminates expressions with control effects from those without and accurately tracks answer type modification incurred by control effects. To… CONTINUE READING

Save

Watch Paper

Cite

View on ACM