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{rendel-al-09, author = {Rendel, T. and Ostermann, K. and Hofer, C.}, title = {{Typed self-representation}}, year = {2009}, pages = {293--303}, booktitle = {Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation}, organization = {ACM}, }