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
@inproceedings{acar-al-16-dag-calculus, author = {Acar, Umut A. and Chargu{\'e}raud, Arthur and Rainey, Mike and Sieczkowski, Filip}, title = {Dag-calculus: A Calculus for Parallel Computation}, booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming}, series = {ICFP 2016}, year = {2016}, isbn = {978-1-4503-4219-3}, pages = {18--32}, numpages = {15}, doi = {10.1145/2951913.2951946}, publisher = {ACM}, address = {New York, NY, USA}, }