Christos Dimoulas, Matthias Felleisen. On contract satisfaction in a higher-order world. ACM Transactions on Programming Languages and Systems, 33(5):16, 2011. [doi]
@article{DimoulasF11, title = {On contract satisfaction in a higher-order world}, author = {Christos Dimoulas and Matthias Felleisen}, year = {2011}, doi = {10.1145/2039346.2039348}, url = {http://doi.acm.org/10.1145/2039346.2039348}, researchr = {https://researchr.org/publication/DimoulasF11}, cites = {0}, citedby = {0}, journal = {ACM Transactions on Programming Languages and Systems}, volume = {33}, number = {5}, pages = {16}, }