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

by A W Appel, P-A Melliès, C D Richards, J Vouillon
Venue:In Proc. of POPL