thesis
thesis copied to clipboard
goldfirere
Richard A. Eisenberg's PhD Dissertation
In doing the type safety proof, I discovered an extra condition which needs to be added to GHC's CoreLint to make sure that there is no skolem escape in foralls....
Pico allows the use of Type to classify terms. Of course it does, because it can't distinguish between terms and types. But this is getting ahead of ourselves, as we...
In my motivation chapter, I have some "noway" code. I really should find a way.