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
Type
conference paper
DOI
10.1145/1596550.1596596
Web of Science ID

WOS:000280546200033

WOS:000271211700034

Author(s)
Rompf, Tiark  
Maier, Ingo  
Odersky, Martin  
Date Issued

2009

Publisher

ACM

Publisher place

New York, NY, USA

Published in
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Start page

317

End page

328

Subjects

delimited continuations

•

selective CPS transform

•

control effects

•

program transformation

Editorial or Peer reviewed

REVIEWED

Written at

EPFL

EPFL units
LAMP1  
Event nameEvent placeEvent date
International Conference on Functional Programming

Edinburgh, Scotland

August 31-September 02, 2009

Available on Infoscience
May 31, 2010
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/50534
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