7124 search results - page 6 / 1425 » Programming Languages and Operating Systems |
POPL
2001
ACM
14 years 10 months ago
2001
ACM
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
IFIP
2001
Springer
14 years 2 months ago
2001
Springer
APLAS
2001
ACM
14 years 1 months ago
2001
ACM