Benefits of session types for software development.

Adriana Laura Voinea, Simon J. Gay

Browse the full OOPSLA paper archive.