8720 articles  [version française]
.:. Browse > By authors > Appel .:.
2 documents ordered by :

fulltext access Separation Logic for Small-step Cminor (extended version)
Appel A. W. W., Blazy S.
N° RR-6138 (2007) [inria-00134699 - version 5]
fulltext access A list-machine benchmark for mechanized metatheory
Appel A. W. W., Leroy X.
N° RR-5914 (2006) [inria-00077531 - version 1]