Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
Locally nameless
The RE command
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Home
–
Contact
@InProceedings{vries-al-07, author = "Edsko de Vries and Rinus Plasmeijer and David M. Abrahamson", title = "Uniqueness Typing Simplified", year = "2007", volume = "5083", pages = "201--218", editor = "Olaf Chitil and Zolt{\'a}n Horv{\'a}th and Vikt{\'o}ria Zs{\'o}k", publisher = "Springer", series = "LNCS", booktitle = "IFL", url = "http://dx.doi.org/10.1007/978-3-540-85373-2_12", }