The Type Discipline of Behavioral Separation

Citation:
Caires, Luís, and João Costa Seco The Type Discipline of Behavioral Separation. 40th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL). Rome, Italy: ACM, 2013.
PreviewAttachmentSize
bst-tr.pdf405.89 KB