Polymorphic Types for Leak Detection in a Session-Oriented Functional Language.

Viviana Bono, Luca Padovani, Andrea Tosatto

Browse the full FORTE paper archive.