000171876 001__ 171876
000171876 005__ 20180913060951.0
000171876 020__ $$a978-1-60558-332-7
000171876 02470 $$2ISI$$a000280546200033
000171876 037__ $$aCONF
000171876 245__ $$aImplementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform
000171876 260__ $$bAcm Order Department, P O Box 64145, Baltimore, Md 21264 Usa$$c2009
000171876 269__ $$a2009
000171876 336__ $$aConference Papers
000171876 520__ $$aWe 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.
000171876 6531_ $$aDelimited continuations
000171876 6531_ $$aselective CPS transform
000171876 6531_ $$acontrol effects
000171876 6531_ $$aprogram transformation
000171876 700__ $$0243345$$g185682$$aRompf, Tiark
000171876 700__ $$0243346$$g177179$$aMaier, Ingo
000171876 700__ $$aOdersky, Martin$$g126003$$0241835
000171876 7112_ $$dAug 31-Sep 02, 2009$$cEdinburgh, SCOTLAND$$a14th ACM SIGPLAN International Conference on Functional Programming
000171876 773__ $$tIcfp'09: Proceedings Of The 2009 Acm Sigplan International Conference On Functional Programming$$q317-328
000171876 909C0 $$xU10409$$0252187$$pLAMP
000171876 909CO $$pconf$$pIC$$ooai:infoscience.tind.io:171876
000171876 917Z8 $$x166927
000171876 937__ $$aEPFL-CONF-171876
000171876 973__ $$rNON-REVIEWED$$sPUBLISHED$$aEPFL
000171876 980__ $$aCONF