Loading...
research report
Behavioral Types for Structured Asynchronous Programming
Larus, James R.
•
Rajamani, Sriram K.
•
Rehof, Jakob
2001
Type
research report
Author(s)
Larus, James R.
•
Rajamani, Sriram K.
•
Rehof, Jakob
Date Issued
2001
Publisher
Microsoft Research
Peer reviewed
REVIEWED
Written at
OTHER
EPFL units
Available on Infoscience
December 23, 2013
Use this identifier to reference this record