7124 search results - page 6 / 1425 » Programming Languages and Operating Systems |
182
Voted
POPL
2001
ACM
16 years 1 months ago
2001
ACM
108
Voted
PPDP
2009
Springer
15 years 5 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...
86
Voted
ESOP
2007
Springer
15 years 7 months ago
2007
Springer
IFIP
2001
Springer
15 years 5 months ago
2001
Springer
91
Voted
APLAS
2001
ACM
15 years 4 months ago
2001
ACM