4 ms·

This paper presents an optional type system where type errors can only occur in the untyped sections: http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame-s

by jamii 16y ago

This paper presents an optional type system where type errors can only occur in the untyped sections: http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame-scheme.pdf http://homepages.inf.ed.ac.uk/wadler/papers/blame/blame-sche...