1791 search results - page 10 / 359 » Two Types of Multiple-Conclusion Systems |
83
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. System L is a linear λ-calculus with numbers and an iterator, which, although imposing linearity restrictions on terms, has all the computational power of G¨odel’s Sy...
115
click to vote
ICFP
2003
ACM
16 years 2 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...
92
Voted
CSL
2009
Springer
15 years 9 months ago
2009
Springer
We investigate the relationship between two independently developed termination techniques for rst and higher-order rewrite systems. On the one hand, sized-types based termination...
141
Voted
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
119
click to vote
PPDP
2009
Springer
15 years 7 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...