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{rossberg-russo-deryer-10, author = "Andreas Rossberg and Claudio V. Russo and Derek Dreyer", title = "{F}-ing modules", year = "2010", pages = "89--102", editor = "Andrew Kennedy and Nick Benton", publisher = "ACM", booktitle = "TLDI", url = "http://doi.acm.org/10.1145/1708016.1708028", }