On Jan 24, 2011, at 2:41 PM, Eric Tanter wrote: > Hi all, > > From the DLS'10 paper of Stephen and Matthias, it says "the class system must > determine that two classes are equal modulo contract wrapping". > > I'm interested in that exact property but for functions. Ie. how do we > determine if two functions are "equal" modulo contract wrapping?
eta-expansion? proxy-lambda? > > Thanks! > > -- Éric > _________________________________________________ > For list-related administrative tasks: > http://lists.racket-lang.org/listinfo/users _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users
