%0 Journal Article %1 journals/sigplan/FindlerF13 %A Findler, Robert Bruce %A Felleisen, Matthias %D 2013 %J ACM SIGPLAN Notices %K dblp %N 4S %P 34-45 %T ICFP 2002: Contracts for higher-order functions. %U http://dblp.uni-trier.de/db/journals/sigplan/sigplan48.html#FindlerF13 %V 48

@article{journals/sigplan/FindlerF13, added-at = {2020-05-26T00:00:00.000+0200}, author = {Findler, Robert Bruce and Felleisen, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/255695440b510a1be37f9bc22c32cd7d3/dblp}, ee = {https://doi.org/10.1145/2502508.2502521}, interhash = {082d029800940b3e6738f10f62f869c1}, intrahash = {55695440b510a1be37f9bc22c32cd7d3}, journal = {ACM SIGPLAN Notices}, keywords = {dblp}, number = {4S}, pages = {34-45}, timestamp = {2020-05-27T11:39:48.000+0200}, title = {ICFP 2002: Contracts for higher-order functions.}, url = {http://dblp.uni-trier.de/db/journals/sigplan/sigplan48.html#FindlerF13}, volume = 48, year = 2013 }