"Benefits of session types for software development."

A. Laura Voinea, Simon J. Gay (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics