3713 search results - page 36 / 743 » Constructing a Calculus of Programs |
PPDP
2010
Springer
14 years 8 months ago
2010
Springer
This paper connects the definitional interpreter for the λ-calculus extended with delimited continuation constructs, shift and reset, with a compiler and a low-level virtual mac...
ICFP
2002
ACM
15 years 9 months ago
2002
ACM
ESOP
2007
Springer
15 years 3 months ago
2007
Springer
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
CTCS
1997
Springer
15 years 1 months ago
1997
Springer