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
@conference{aura-08, author = {Jia, L. and Vaughan, J.A. and Mazurak, K. and Zhao, J. and Zarko, L. and Schorr, J. and Zdancewic, S.}, title = {{Aura: A programming language for authorization and audit}}, year = {2008}, pages = {27--38}, booktitle = {Proceeding of the 13th ACM SIGPLAN international conference on Functional programming}, organization = {ACM}, }