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.