| https://dblp.org/rdf/schema#authorOf
|
https://dblp.org/rec/conf/ccs/BhargavanDFGGKK16 +
, https://dblp.org/rec/journals/jfp/GonthierZND13 +
, https://dblp.org/rec/conf/itp/GonthierAABCGRMOBPRSTT13 +
, https://dblp.org/rec/conf/popl/Gonthier13 +
, https://dblp.org/rec/conf/sigsoft/Gonthier13 +
, https://dblp.org/rec/conf/sigsoft/FraserBCFGIV13 +
, https://dblp.org/rec/conf/itp/GonthierT12 +
, https://dblp.org/rec/conf/icfp/GonthierZND11 +
, https://dblp.org/rec/conf/itp/Gonthier11 +
, https://dblp.org/rec/conf/itp/Gonthier11a +
, https://dblp.org/rec/conf/tldi/Gonthier11 +
, https://dblp.org/rec/journals/jfrea/GonthierM10 +
, https://dblp.org/rec/conf/mkm/Gonthier09 +
, https://dblp.org/rec/conf/tphol/GarillotGMR09 +
, https://dblp.org/rec/conf/tphol/BertotGBP08 +
, https://dblp.org/rec/conf/ascm/Gonthier07 +
, https://dblp.org/rec/conf/tphol/GonthierMRTT07 +
, https://dblp.org/rec/conf/tphol/TheryLG06 +
, https://dblp.org/rec/journals/jlp/FournetG05 +
, https://dblp.org/rec/conf/icfem/CookG05 +
, https://dblp.org/rec/conf/fossacs/AbadiGW04 +
, https://dblp.org/rec/journals/iandc/AbadiFG02 +
, https://dblp.org/rec/conf/ac/FournetG00 +
, https://dblp.org/rec/conf/popl/AbadiFG00 +
, https://dblp.org/rec/conf/fsttcs/AbadiFG99 +
, https://dblp.org/rec/conf/sp/AbadiFG99 +
, https://dblp.org/rec/conf/icalp/FournetG98 +
, https://dblp.org/rec/conf/lics/AbadiFG98 +
, https://dblp.org/rec/journals/entcs/AbadiFG97 +
, https://dblp.org/rec/conf/cav/Gonthier96 +
, https://dblp.org/rec/conf/concur/FournetGLMR96 +
, https://dblp.org/rec/conf/popl/FournetG96 +
, https://dblp.org/rec/conf/popl/DoligezG94 +
, https://dblp.org/rec/journals/scp/BerryG92 +
, https://dblp.org/rec/conf/lics/GonthierLM92 +
, https://dblp.org/rec/conf/lics/GonthierAL92 +
, https://dblp.org/rec/conf/popl/GonthierAL92 +
, https://dblp.org/rec/journals/cn/BerryG91 +
, https://dblp.org/rec/journals/tcs/Gonthier85 +
|
| https://dblp.org/rdf/schema#coCreatorWith
|
https://dblp.org/pid/a/MartinAbadi +
, https://dblp.org/pid/a/AAsperti +
, https://dblp.org/pid/60/1535 +
, https://dblp.org/pid/b/LucianoBaresi +
, https://dblp.org/pid/70/2200 +
, https://dblp.org/pid/60/1236 +
, https://dblp.org/pid/60/2405 +
, https://dblp.org/pid/80/3503 +
, https://dblp.org/pid/74/3043 +
, https://dblp.org/pid/c/JaneClelandHuang +
, https://dblp.org/pid/37/8264 +
, https://dblp.org/pid/36/113 +
, https://dblp.org/pid/121/1113 +
, https://dblp.org/pid/23/55 +
, https://dblp.org/pid/d/DerekDreyer +
, https://dblp.org/pid/f/CedricFournet +
, https://dblp.org/pid/75/1446 +
, https://dblp.org/pid/78/6422 +
, https://dblp.org/pid/65/6425 +
, https://dblp.org/pid/187/9761 +
, https://dblp.org/pid/i/PaolaInverardi +
, https://dblp.org/pid/131/6696 +
, https://dblp.org/pid/219/9026 +
, https://dblp.org/pid/06/5123 +
, https://dblp.org/pid/97/6204 +
, https://dblp.org/pid/81/5782 +
, https://dblp.org/pid/49/4972 +
, https://dblp.org/pid/m/PAMellies +
, https://dblp.org/pid/70/3373 +
, https://dblp.org/pid/10/3457 +
, https://dblp.org/pid/59/6733 +
, https://dblp.org/pid/73/6193 +
, https://dblp.org/pid/81/10809 +
, https://dblp.org/pid/r/DRemy +
, https://dblp.org/pid/31/6035 +
, https://dblp.org/pid/11/1946-1 +
, https://dblp.org/pid/147/4419 +
, https://dblp.org/pid/05/8735 +
, https://dblp.org/pid/11/5568 +
, https://dblp.org/pid/35/4153 +
, https://dblp.org/pid/86/1824 +
, https://dblp.org/pid/v/MosheYVardi +
, https://dblp.org/pid/40/5509 +
, https://dblp.org/pid/89/9225 +
|
| https://dblp.org/rdf/schema#creatorName
|
Georges Gonthier
|
| https://dblp.org/rdf/schema#editorOf
|
https://dblp.org/rec/conf/cpp/2013 +
|
| https://dblp.org/rdf/schema#primaryCreatorName
|
Georges Gonthier
|
| https://dblp.org/rdf/schema#webpage
|
https://zbmath.org/authors/?q=ai:gonthier.georges +
|
| https://dblp.org/rdf/schema#wikidata
|
http://www.wikidata.org/entity/Q5546810 +
|
| https://dblp.org/rdf/schema#wikipedia
|
https://en.wikipedia.org/wiki/Georges_Gonthier +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q5546810 +
|
| rdf:type |
https://dblp.org/rdf/schema#Creator +
, https://dblp.org/rdf/schema#Person +
|
| rdfs:label |
Georges Gonthier
|
