Arthur Charguéraud
Publications
by date
by topic
by venue
Software
CFML
TLC
PASL
FormalMetaCoq
OptiTrust
Teaching
Separation Logic
Coq tutorials
Concours Castor
France-ioi
Misc
The RE command
Home
–
Contact
@Misc{bousdira-gesbert-loulergue-11, author = "Wadoud Bousdira and Louis Gesbert and Fr{\'e}d{\'e}ric Loulergue", title = "Syntaxe et s{\'e}mantique de Revised Bulk Synchronous Parallel {ML}", year = "2011", type = "proceeding with peer review", url = "http://hal.archives-ouvertes.fr/hal-00592542/en/", }