7124 search results - page 6 / 1425 » Programming Languages and Operating Systems |
241
Voted
POPL
2001
ACM
16 years 6 months ago
2001
ACM
151
click to vote
PPDP
2009
Springer
15 years 10 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...
132
Voted
ESOP
2007
Springer
15 years 12 months ago
2007
Springer
121
Voted
IFIP
2001
Springer
15 years 10 months ago
2001
Springer
142
Voted
APLAS
2001
ACM
15 years 9 months ago
2001
ACM