Greg Morrisett

Suggest Changes
Learn More
Compilers for monomorphic languages, such as C and Pascal, take advantage of types to determine data representations, alignment, calling conventions, and register selection. However, these languages(More)