Type-based analysis and applications (2001)

by Jens Palsberg
Venue:In PASTE ’01: Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering