Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / News / BETTY Papers at PPDP 2014

BETTY Papers at PPDP 2014

Two papers by BETTY authors will be presented at PPDP 2014. Congratulations to the authors!

Tzu-Chun Chen, Mariangiola Dezani-Ciancaglini and Nobuko Yoshida. On the Preciseness of Subtyping in Session Types.

Kenichi Asai, Luminous Fennell, Peter Thiemann and Yang Zhang.    A Type Theoretic Specification for Partial Evaluation.