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 On Wed, Mar 9, 2011 at 11:35 AM, Gregory Woodhouse <[email protected]> wrote: > I notice that the Wikipedia article for Racket (a little sparse in my opinion) > > http://en.wikipedia.org/wiki/Racket_(programming_language) > > asserts that Racket was the first higher order language to use a contract > system, but that statement has been flagged as needing a citation to back it > up. What would be an appropriate reference? > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
