Home     About     Download     Resources     Contact us    

Index of /pub/papers/

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -  
[ ]doligez-these.pdf23-Nov-2011 09:22 2.2M 
[ ]doligez-these.ps.gz23-Nov-2011 09:22 426K 
[ ]doligez_gonthier-gc-popl94.pdf23-Nov-2011 09:22 363K 
[ ]doligez_gonthier-gc-popl94.ps.gz23-Nov-2011 09:22 85K 
[ ]doligez_xleroy-concurrent_gc-popl93.pdf23-Nov-2011 09:22 220K 
[ ]doligez_xleroy-concurrent_gc-popl93.ps.gz23-Nov-2011 09:22 59K 
[ ]garrigue-deep-variants-2004.pdf23-Nov-2011 09:22 198K 
[ ]garrigue-deep-variants-2004.ps.gz23-Nov-2011 09:22 87K 
[ ]garrigue-labels-ppl01.dvi.gz23-Nov-2011 09:22 18K 
[ ]garrigue-labels-ppl01.pdf23-Nov-2011 09:22 206K 
[ ]garrigue-labels-ppl01.ps.gz23-Nov-2011 09:22 69K 
[ ]garrigue-polymorphic_variants-ml98.pdf23-Nov-2011 09:22 132K 
[ ]garrigue-polymorphic_variants-ml98.ps.gz23-Nov-2011 09:22 79K 
[ ]garrigue-structural_poly-fool02.pdf23-Nov-2011 09:22 232K 
[ ]garrigue-structural_poly-fool02.ps.gz23-Nov-2011 09:22 99K 
[ ]garrigue-value_restriction-fiwflp04.pdf23-Nov-2011 09:22 194K 
[ ]garrigue-value_restriction-fiwflp04.ps.gz23-Nov-2011 09:22 99K 
[ ]garrigue-variant-reuse-2000.ps.gz23-Nov-2011 09:22 54K 
[ ]garrigue_remy-poly-ic99.dvi.gz23-Nov-2011 09:22 64K 
[ ]garrigue_remy-poly-ic99.pdf23-Nov-2011 09:22 367K 
[ ]garrigue_remy-poly-ic99.ps.gz23-Nov-2011 09:22 105K 
[ ]remy_vouillon-objective_ml-tapos98.dvi.gz23-Nov-2011 09:22 65K 
[ ]remy_vouillon-objective_ml-tapos98.pdf23-Nov-2011 09:22 249K 
[ ]remy_vouillon-objective_ml-tapos98.ps.gz23-Nov-2011 09:22 173K 
[ ]xleroy-applicative_functors-popl95.dvi.gz23-Nov-2011 09:22 37K 
[ ]xleroy-applicative_functors-popl95.pdf23-Nov-2011 09:22 198K 
[ ]xleroy-applicative_functors-popl95.ps.gz23-Nov-2011 09:22 162K 
[ ]xleroy-manifest_types-popl94.dvi.gz23-Nov-2011 09:22 43K 
[ ]xleroy-manifest_types-popl94.pdf23-Nov-2011 09:22 213K 
[ ]xleroy-manifest_types-popl94.ps.gz23-Nov-2011 09:22 168K 
[ ]xleroy-modular_modules-jfp.dvi.gz23-Nov-2011 09:22 44K 
[ ]xleroy-modular_modules-jfp.pdf23-Nov-2011 09:22 273K 
[ ]xleroy-modular_modules-jfp.ps.gz23-Nov-2011 09:22 217K 
[ ]xleroy-recursive_modules-03.pdf23-Nov-2011 09:22 127K 
[ ]xleroy-recursive_modules-03.ps.gz23-Nov-2011 09:22 147K 
[ ]xleroy-unboxing-tic97.pdf23-Nov-2011 09:22 165K 
[ ]xleroy-unboxing-tic97.ps.gz23-Nov-2011 09:22 66K 
[ ]xleroy-zinc.pdf23-Nov-2011 09:22 902K 
[ ]xleroy-zinc.ps.gz23-Nov-2011 09:22 223K