Static name control for FreshML (2007)

by François Pottier
Venue:In IEEE Symposium on Logic in Computer Science (LICS
Citations:24 - 1 self