Secure Distributed Programming With Value-Dependent Types
ACM SIGPLAN Notices - United States
doi 10.1145/2034574.2034811
Full Text
Open PDFAbstract
Available in full text
Categories
Date
September 18, 2011
Authors
Publisher
Association for Computing Machinery (ACM)