Index of /~xleroy/publi

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Clight.pdf              17-Jul-2009 11:14  216K  
 POPLmark-locally-nam..> 11-Jan-2007 17:20  439K  
 ZINC.pdf                14-May-2005 17:56  491K  
 ZINC.ps.gz              30-Oct-1995 17:43  223K  
 abstract-types-dot-n..> 02-Aug-2008 16:18  230K  
 abstract-types-dot-n..> 02-Mar-2003 17:12  106K  
 applicative-functors..> 02-Aug-2008 16:19  195K  
 applicative-functors..> 02-Mar-2003 17:12   87K  
 bytecode-verificatio..> 26-Jun-2003 11:11  271K  
 caml-special-light-r..> 12-Aug-1996 10:16   98K  
 cfront.pdf              16-May-2006 10:47  213K  
 coindsem-journal.pdf    16-Dec-2007 14:06  266K  
 coindsem.pdf            03-Jan-2006 10:15  185K  
 coindsem/               11-Oct-2005 09:51    -   
 compcert-CACM.pdf       07-Apr-2009 13:40  195K  
 compcert-backend.pdf    29-Oct-2009 09:36  507K  
 compil-recursion.pdf    26-Jun-2003 11:04  194K  
 compiler-certif.pdf     14-Nov-2005 11:48  250K  
 concurrent-gc.ps.gz     30-Oct-1995 17:43   59K  
 cps-dargaye-leroy.pdf   30-Jul-2007 16:00  193K  
 data-representation-..> 05-Nov-2009 16:47  195K  
 data-representation...> 30-Oct-1995 17:43   81K  
 dynamics-in-ML-fpca.pdf 05-Nov-2009 16:59  179K  
 dynamics-in-ML.pdf      02-Aug-2008 16:19  233K  
 dynamics-in-ML.ps.gz    02-Mar-2003 17:12  116K  
 edos-frcss06.pdf        03-Mar-2006 22:48  746K  
 exceptions-popl.lett..> 03-Nov-1998 17:43  104K  
 exceptions-popl.pdf     06-Nov-1998 14:16  239K  
 exceptions-popl.ps.gz   03-Nov-1998 17:42  104K  
 exceptions-rr.ps.gz     03-Nov-1998 16:08  202K  
 exceptions-toplas.ps.gz 16-Apr-2000 21:00  148K  
 higher-order-uncurry..> 15-Dec-2009 10:00  255K  
 intro-tic98.pdf         14-Mar-2000 18:10  120K  
 intro-tic98.ps.gz       14-Mar-2000 18:09   43K  
 language-security-et..> 15-Mar-2004 09:35  110K  
 letrec-cbv.pdf          15-Dec-2009 10:49  610K  
 listmachine-journal.pdf 05-Jul-2009 18:29  316K  
 listmachine-lfmtp.pdf   19-Jul-2006 10:40  209K  
 listmachine-tr.pdf      17-May-2006 18:29  383K  
 manifest-types-popl.pdf 02-Aug-2008 16:19  211K  
 manifest-types-popl...> 02-Mar-2003 17:12   91K  
 memory-model-journal..> 13-Feb-2008 09:53  250K  
 memory-model.pdf        31-Oct-2005 10:04  297K  
 memory-model.ps.gz      19-Jul-2005 09:33  135K  
 mixins-cbv-esop2002.pdf 25-May-2003 16:55  227K  
 mixins-cbv-toplas.pdf   31-Aug-2005 10:56  427K  
 mixins-mm-esop2004.p..> 15-Dec-2003 18:38   99K  
 mixins-mm.pdf           29-Mar-2003 10:23  255K  
 modular-modules-appe..> 05-Dec-2000 14:11    -   
 modular-modules-jfp.pdf 02-Aug-2008 16:20  273K  
 modular-modules-jfp...> 11-Jan-2000 10:41  116K  
 ocamlp3l-mlws.ps.gz     20-Sep-1998 17:25   89K  
 oncard-verifier-esma..> 10-Jun-2001 15:41   71K  
 oncard-verifier-spe.pdf 09-Feb-2002 15:32  343K  
 parallel-move.pdf       21-Dec-2007 09:21  277K  
 phd-thesis.pdf          02-Aug-2008 06:53  1.2M  
 phd-thesis.ps.gz        30-Oct-1995 17:43  409K  
 polymorphic-assignme..> 02-Aug-2008 16:20  215K  
 polymorphic-assignme..> 02-Mar-2003 17:18   92K  
 polymorphism-by-name..> 02-Aug-2008 16:20  180K  
 polymorphism-by-name..> 02-Mar-2003 17:18   78K  
 proofs_dataflow_opti..> 28-Jul-2005 10:46  228K  
 recursive-modules-no..> 13-May-2003 10:51  127K  
 rpc-abstract-types.pdf  02-Aug-2008 16:20  172K  
 rpc-abstract-types.p..> 02-Mar-2003 17:18   76K  
 sip-typed-applets.pdf   02-Aug-2008 16:50  298K  
 sip-typed-applets.ps.gz 20-Jun-1999 12:01  128K  
 strong-reduction.pdf    26-Jul-2002 11:47  122K  
 survey-bytecode-veri..> 10-Jun-2001 15:45   90K  
 syntactic-generativi..> 02-Aug-2008 16:20  292K  
 syntactic-generativi..> 02-Mar-2003 17:18  127K  
 these-doctorat.pdf      02-Aug-2008 06:30  1.2M  
 these-doctorat.ps.gz    30-Oct-1995 17:43  446K  
 typed-applets.letter..> 27-Oct-1997 14:02  100K  
 typed-applets.pdf       02-Aug-2008 16:20  209K  
 typed-applets.ps.gz     23-Oct-1997 17:20  100K  
 unboxed-polymorphism..> 02-Aug-2008 16:20  186K  
 unboxed-polymorphism..> 02-Mar-2003 17:18   87K  
 unboxing-tic97.ps.gz    19-Aug-1997 16:36   66K  
 unix-in-caml.ps.gz      30-Oct-1995 17:43  161K  
 validation-LCM.pdf      11-Mar-2009 09:28  211K  
 validation-regalloc.pdf 05-Jan-2010 19:20  209K  
 validation-schedulin..> 09-Nov-2007 07:03  234K  
 validation-softpipe.pdf 02-Nov-2009 14:42  424K  
 w4g.html                30-Oct-1995 18:01   11K  
 xlcompil-0.1.pdf        26-Jun-2003 14:22  321K