This is an old revision of the document!

GrEv: Compiling Gradual Types with Evidence

description

github repo

evaluation repo (submission)