A very modal model of a modern, major, general type system (2007)

by A W Appel, P-A Mellies, C D Richards, Jerome
Venue:In Proc. 34th ACM Symp. on Principles of Prog. Lang