Index of /~xleroy/publi

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Clight.pdf17-Jul-2009 11:14 216K 
[   ]Formal-C-CompCert.pdf21-Apr-2014 16:53 172K 
[   ]POPLmark-locally-nameless.pdf11-Jan-2007 17:20 439K 
[   ]ZINC.pdf14-May-2005 17:56 491K 
[   ]ZINC.ps.gz30-Oct-1995 17:43 223K 
[   ]abstract-types-dot-notation.pdf02-Aug-2008 16:18 230K 
[   ]abstract-types-dot-notation.ps.gz02-Mar-2003 17:12 106K 
[   ]alias-analysis.pdf27-Sep-2012 16:06 314K 
[   ]applicative-functors.pdf02-Aug-2008 16:19 195K 
[   ]applicative-functors.ps.gz02-Mar-2003 17:12 87K 
[   ]bytecode-verification-JAR.pdf26-Jun-2003 11:11 271K 
[   ]cahiers-inria-2010.pdf01-Jul-2010 18:36 232K 
[   ]caml-special-light-rr.ps.gz12-Aug-1996 10:16 98K 
[   ]cfront.pdf16-May-2006 10:47 213K 
[   ]coindsem-journal.pdf16-Dec-2007 14:06 266K 
[   ]coindsem.pdf03-Jan-2006 10:15 185K 
[DIR]coindsem/11-Oct-2005 09:51 -  
[   ]compcert-CACM.pdf07-Apr-2009 13:40 195K 
[   ]compcert-backend.pdf29-Oct-2009 09:36 507K 
[   ]compil-recursion.pdf26-Jun-2003 11:04 194K 
[   ]compiler-certif.pdf14-Nov-2005 11:48 250K 
[   ]concurrent-gc.pdf03-Sep-2014 14:16 165K 
[   ]concurrent-gc.ps.gz30-Oct-1995 17:43 59K 
[   ]cpp-construction.pdf08-Nov-2011 13:42 384K 
[   ]cpp-object-layout.pdf09-Nov-2010 09:50 356K 
[   ]cps-dargaye-leroy.pdf30-Jul-2007 16:00 193K 
[   ]data-representation-plilp.pdf05-Nov-2009 16:47 195K 
[   ]data-representation.ps.gz30-Oct-1995 17:43 81K 
[   ]dynamics-in-ML-fpca.pdf05-Nov-2009 16:59 179K 
[   ]dynamics-in-ML.pdf02-Aug-2008 16:19 233K 
[   ]dynamics-in-ML.ps.gz02-Mar-2003 17:12 116K 
[   ]edos-frcss06.pdf03-Mar-2006 22:48 746K 
[   ]erts2016_compcert.pdf07-Dec-2015 11:27 123K 
[   ]exceptions-popl.letter.ps.gz03-Nov-1998 17:43 104K 
[   ]exceptions-popl.pdf06-Nov-1998 14:16 239K 
[   ]exceptions-popl.ps.gz03-Nov-1998 17:42 104K 
[   ]exceptions-rr.ps.gz03-Nov-1998 16:08 202K 
[   ]exceptions-toplas.pdf03-Sep-2014 14:21 398K 
[   ]exceptions-toplas.ps.gz16-Apr-2000 21:00 148K 
[   ]floating-point-compcert.pdf24-Oct-2014 10:48 363K 
[   ]higher-order-uncurrying.pdf15-Dec-2009 10:00 255K 
[   ]intro-tic98.pdf14-Mar-2000 18:10 120K 
[   ]intro-tic98.ps.gz14-Mar-2000 18:09 43K 
[   ]language-security-etaps03.pdf15-Mar-2004 09:35 110K 
[   ]letrec-cbv.pdf15-Dec-2009 10:49 610K 
[   ]listmachine-journal.pdf11-Apr-2011 09:13 447K 
[   ]listmachine-lfmtp.pdf19-Jul-2006 10:40 209K 
[   ]listmachine-tr.pdf17-May-2006 18:29 383K 
[   ]manifest-types-popl.pdf02-Aug-2008 16:19 211K 
[   ]manifest-types-popl.ps.gz02-Mar-2003 17:12 91K 
[   ]mechanized-semantics-aplas-cpp-2012.pdf13-Dec-2012 14:22 122K 
[   ]memory-model-journal.pdf13-Feb-2008 09:53 250K 
[   ]memory-model.pdf31-Oct-2005 10:04 297K 
[   ]memory-model.ps.gz19-Jul-2005 09:33 135K 
[   ]mixins-cbv-esop2002.pdf25-May-2003 16:55 227K 
[   ]mixins-cbv-toplas.pdf31-Aug-2005 10:56 427K 
[   ]mixins-mm-esop2004.ps.gz15-Dec-2003 18:38 99K 
[   ]mixins-mm.pdf29-Mar-2003 10:23 255K 
[DIR]modular-modules-appendix/05-Dec-2000 14:11 -  
[   ]modular-modules-jfp.pdf02-Aug-2008 16:20 273K 
[   ]modular-modules-jfp.ps.gz11-Jan-2000 10:41 116K 
[   ]ocamlp3l-mlws.pdf03-Sep-2014 14:17 228K 
[   ]ocamlp3l-mlws.ps.gz20-Sep-1998 17:25 89K 
[   ]oncard-verifier-esmart.pdf03-Sep-2014 14:20 208K 
[   ]oncard-verifier-esmart.ps.gz10-Jun-2001 15:41 71K 
[   ]oncard-verifier-spe.pdf09-Feb-2002 15:32 343K 
[   ]parallel-move.pdf21-Dec-2007 09:21 277K 
[   ]phd-thesis.pdf02-Aug-2008 06:53 1.2M 
[   ]phd-thesis.ps.gz30-Oct-1995 17:43 409K 
[   ]polymorphic-assignment.pdf02-Aug-2008 16:20 215K 
[   ]polymorphic-assignment.ps.gz02-Mar-2003 17:18 92K 
[   ]polymorphism-by-name.pdf02-Aug-2008 16:20 180K 
[   ]polymorphism-by-name.ps.gz02-Mar-2003 17:18 78K 
[   ]popl11-invited-talk.pdf29-Dec-2010 19:37 111K 
[   ]ppes2011.pdf30-Nov-2010 08:05 470K 
[   ]proofs_dataflow_optimizations.pdf28-Jul-2005 10:46 228K 
[   ]recursive-modules-note.pdf13-May-2003 10:51 127K 
[   ]rpc-abstract-types.pdf02-Aug-2008 16:20 172K 
[   ]rpc-abstract-types.ps.gz02-Mar-2003 17:18 76K 
[   ]sip-typed-applets.pdf02-Aug-2008 16:50 298K 
[   ]sip-typed-applets.ps.gz20-Jun-1999 12:01 128K 
[   ]strong-reduction.pdf26-Jul-2002 11:47 122K 
[   ]survey-bytecode-verification.pdf03-Sep-2014 14:18 260K 
[   ]survey-bytecode-verification.ps.gz10-Jun-2001 15:45 90K 
[   ]syntactic-generativity.pdf02-Aug-2008 16:20 292K 
[   ]syntactic-generativity.ps.gz02-Mar-2003 17:18 127K 
[   ]these-doctorat.pdf02-Aug-2008 06:30 1.2M 
[   ]these-doctorat.ps.gz30-Oct-1995 17:43 446K 
[   ]typed-applets.letter.ps.gz27-Oct-1997 14:02 100K 
[   ]typed-applets.pdf02-Aug-2008 16:20 209K 
[   ]typed-applets.ps.gz23-Oct-1997 17:20 100K 
[   ]unboxed-polymorphism.pdf02-Aug-2008 16:20 186K 
[   ]unboxed-polymorphism.ps.gz02-Mar-2003 17:18 87K 
[   ]unboxing-tic97.pdf03-Sep-2014 14:21 167K 
[   ]unboxing-tic97.ps.gz19-Aug-1997 16:36 66K 
[   ]unix-in-caml.ps.gz30-Oct-1995 17:43 161K 
[   ]validated-parser.pdf06-Jan-2012 13:45 513K 
[   ]validation-LCM.pdf11-Mar-2009 09:28 211K 
[   ]validation-regalloc.pdf05-Jan-2010 19:20 209K 
[   ]validation-scheduling.pdf09-Nov-2007 07:03 234K 
[   ]validation-softpipe.pdf02-Nov-2009 14:42 424K 
[   ]verasco-popl2015.pdf28-Oct-2014 16:05 334K 
[TXT]w4g.html30-Oct-1995 18:01 11K 
[   ]xlcompil-0.1.pdf26-Jun-2003 14:22 321K 

Apache/2.2.22 (Debian) Server at gallium.inria.fr Port 80