[racket] function equality with contracts

From: Matthias Felleisen (matthias at ccs.neu.edu)
Date: Mon Jan 24 15:56:01 EST 2011

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

Posted on the users mailing list.