Static name control for FreshML (2007)
Cached
Download Links
- [icms.org.uk]
- [cristal.inria.fr]
- [gallium.inria.fr]
- DBLP
Other Repositories/Bibliography
by
François Pottier
| Venue: | In IEEE Symposium on Logic in Computer Science (LICS |
| Citations: | 22 - 2 self |
BibTeX
@INPROCEEDINGS{Pottier07staticname,
author = {François Pottier},
title = {Static name control for FreshML},
booktitle = {In IEEE Symposium on Logic in Computer Science (LICS},
year = {2007}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
3 A complete example
