M. Neubauer and P. Thiemann.
An implementation of session types
. In Practical Aspects of Declarative Languages (PADL'04), volume 3057 of LNCS, pages 56--70. Springer-Verlag, 2004.
Home/Search
Document Details and Download
Context
Related Articles
This paper is cited by the following papers:
Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004)
(3 citations)
(Correct)
Online articles have much greater impact
More about CiteSeer.IST
Add search form to your site
Submit documents
Feedback
CiteSeer.IST - Copyright
Penn State
and
NEC