Vasco Thudichum Vasconcelos, Simon J. Gay, António Ravara. Type checking a multithreaded functional language with session types. Theoretical Computer Science, 368(1-2):64-87, 2006. [doi]
No references recorded for this publication.
No citations of this publication recorded.