201 search results - page 5 / 41 » Typed Dynamic Control Operators for Delimited Continuations |
107
Voted
APLAS
2001
ACM
15 years 6 months ago
2001
ACM
138
click to vote
DAGSTUHL
1996
15 years 4 months ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper studies continuations by means of a polymorphic type system. The traditional call-by-name continuation passing style transform admits a typing in which some an...
111
Voted
FPCA
1995
15 years 6 months ago
1995
We add functional continuations and prompts to a language with an ML-style type system. The operators signi cantly extend and simplify the control operators in SML/NJ, and can be ...
108
click to vote
FLOPS
2008
Springer
15 years 4 months ago
2008
Springer
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing...