Polymorphic Type Inference for Machine Code

Matthew Noonan, Alexey Loginov, David Cok

For many compiled languages, source-level types are erased very early in the compilation process. As a result, further compiler passes may convert type-safe source into type-unsafe…