[racket] contracts and the wikipedia article for Racket

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Wed Mar 9 12:40:02 EST 2011

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 <gregwoodhouse at me.com> 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
>



Posted on the users mailing list.