Static name control for FreshML (2007)

by F Pottier
Venue:In Logic in Computer Science, 2007. LICS 2007. 22nd Annual IEEE Symposium on