[racket] function equality with contracts

From: Eric Tanter (etanter at dcc.uchile.cl)
Date: Mon Jan 24 14:41:35 EST 2011

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?


-- Éric

Posted on the users mailing list.