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
OptiTrust
OptiTrust draft paper
OptiTrust traces
OptiTrust website
JFLA'25 drafts
Typing overloading
Bijection C/λ-calculus
Home
–
Contact
@InProceedings{alias-types-00, author = "Frederick Smith and David Walker and Greg Morrisett", title = "Alias Types", year = "2000", volume = "1782", pages = "366--381", mon = mar, publisher = "Springer", series = "LNCS", booktitle = "European Symposium on Programming ({ESOP})", url = "http://www.cs.cornell.edu/talc/papers/alias.pdf", }