BIANCHINI R.

Global types are at the core of communication based programming. They allow a high level specification of protocols involving many participants and enforce good safety and liveness properties, such as absence of deadlock, locked participants and orphan messages. In this paper, we describe an implementation of a novel formalism of global types...

Global types are at the core of communication-based programming. They allow a high-level specification of protocols involving many participants and enforce good safety and liveness properties, such as deadlock freedom, and the absence of locked participants and orphan messages. The present software provides an implementation in co-logic...

We extend the semantics and type system of a lambda calculus equipped with common constructs to be resource-aware. That is, reduction is instrumented to keep track of the usage of resources, and the type system guarantees, besides standard soundness, that for well-typed programs there is a computation where no needed resource gets exhausted....

Objective: Mitral valve repair with artificial chordae for degenerative mitral regurgitation is widely adopted. We evaluated long-term results of mitral repair with expanded polytetrafluoroethylene sutures (GORE-TEX CV-5; W. L. Gore & Associates, Inc, Flagstaff, Ariz). Methods: Between November 1986 and November 2006, 608 consecutive patients...