On Contract Satisfaction in a Higher-Order World
ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/2039346.2039348
Full Text
Open PDFAbstract
Available in full text
Categories
Date
November 1, 2011
Authors
Publisher
Association for Computing Machinery (ACM)