Inferring annotated types for inter-procedural register allocation with constructor flattening (2003)

by Torben Amtoft, Robert Muller
Venue:In Proceedings of TLDI’03, SIGPLAN Notices