Thanks. I've updated the Wikipedia article accordingly. On Mar 9, 2011, at 9:40 AM, Robby Findler wrote:
> This is the paper that first introduced the idea: > > Contracts for Higher-Order Functions > Findler, Felleisen > International Conference on Functional Programming (ICFP) 48-59 2002 > http://www.eecs.northwestern.edu/~robby/pubs/papers/ho-contracts-icfp2002.pdf > > Robby
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
