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
@conference{russo-09, author = {Russo, C.V. and Vytiniotis, D.}, title = {{QML: explicit first-class polymorphism for ML}}, year = {2009}, pages = {3--14}, booktitle = {Proceedings of the 2009 ACM SIGPLAN workshop on ML}, organization = {ACM}, }