dblp.uni-trier.dewww.uni-trier.de

DBLP Keys for 'Xavier Leroy'

# of records = 53

homepages/03/352 conf/pldi/TristanL09 journals/corr/abs-0901-3619 journals/corr/abs-0902-1257 journals/corr/abs-0902-2137 journals/cacm/Leroy09 journals/iandc/LeroyG09 journals/jfp/Leroy09 conf/popl/TristanL08 journals/corr/abs-0808-0586 journals/jar/RideauSL08 journals/jar/LeroyB08 conf/lpar/DargayeL07 conf/memocode/Leroy07 conf/rta/Leroy07 journals/entcs/AppelL07 conf/kbse/MancinelliBCVDLT06 conf/esop/Leroy06 conf/fm/BlazyDL06 conf/popl/Leroy06 journals/entcs/BentonL06 conf/icfem/BlazyL05 journals/toplas/HirschowitzL05 conf/popl/2004 conf/esop/HirschowitzLW04 conf/types/BertotGL04 conf/esop/Leroy03 conf/gpce/CalcagnoTHL03 conf/ppdp/HirschowitzLW03 journals/jar/Leroy03 conf/esop/HirschowitzL02 conf/icfp/GregoireL02 journals/spe/Leroy02 conf/cav/Leroy01 conf/esmart/Leroy01 journals/toplas/LeroyP00 journals/jfp/Leroy00 conf/popl/PessauxL99 conf/ecoopw/LeroyR99 conf/tic/1998 conf/popl/LeroyR98 conf/tic/Leroy98 journals/jfp/HartelFAABBCFGGHHIJKLLLLRSTTTWWW96 journals/jfp/Leroy96 conf/popl/Leroy95 conf/popl/Leroy94 conf/popl/DoligezL93 conf/popl/Leroy93 journals/jfp/LeroyM93 conf/popl/Leroy92 conf/fpca/LeroyM91 conf/popl/LeroyW91 conf/plilp/Leroy90

XML

Copyright © 2009-11-25 by Michael Ley (ley@uni-trier.de)