Type checking a multithreaded functional language with session types☆
Under an Elsevier user license
open archive
Keywords
Session types
Static type checking
Concurrent programming
Specification of communication protocols
Cited by (0)
- ☆
A revised and extended version of the paper in: CONCUR 2004, Lecture Notes in Computer Science, Vol. 3170, Springer, Berlin, 2004, pp. 497–511.
Copyright © 2006 Elsevier B.V. All rights reserved.