Repository logo

Infoscience

  • English
  • French
Log In
Logo EPFL, École polytechnique fédérale de Lausanne

Infoscience

  • English
  • French
Log In
  1. Home
  2. Academic and Research Output
  3. Conferences, Workshops, Symposiums, and Seminars
  4. Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform
 
conference paper

Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform

Rompf, Tiark  
•
Maier, Ingo  
•
Odersky, Martin  
2009
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
International Conference on Functional Programming

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 tackle the problem of implementing first-class continuations under the adverse conditions brought upon by the Java VM, we employ a selective CPS transform, which is driven entirely by effect-annotated types and leaves pure code in direct style. Benchmarks indicate that this high-level approach performs competitively.

  • Files
  • Details
  • Metrics
Loading...
Thumbnail Image
Name

icfp113-rompf.pdf

Access type

openaccess

Size

231.02 KB

Format

Adobe PDF

Checksum (MD5)

810a5520189dac07523d84bfd67b0024

Logo EPFL, École polytechnique fédérale de Lausanne
  • Contact
  • infoscience@epfl.ch

  • Follow us on Facebook
  • Follow us on Instagram
  • Follow us on LinkedIn
  • Follow us on X
  • Follow us on Youtube
AccessibilityLegal noticePrivacy policyCookie settingsEnd User AgreementGet helpFeedback

Infoscience is a service managed and provided by the Library and IT Services of EPFL. © EPFL, tous droits réservés