Static name control for FreshML (2007)

by François Pottier
Venue:In Twenty-Second Annual IEEE Symposium on Logic In Computer Science (LICS’07), Wroclaw