Login / Signup
On the Preciseness of Subtyping in Session Types.
Tzu-Chun Chen
Mariangiola Dezani-Ciancaglini
Nobuko Yoshida
Published in:
PPDP (2014)
Keyphrases
</>
knowledge base
case study
image retrieval
email
recommender systems