papers: update biblio ref for studia dh-ocaml paper
[homepage.git] / research / publications /
drwxr-xr-x   ..
-rw-r--r-- 1148 cbse2011-mpm.bib
-rw-r--r-- 317307 cbse2011-mpm.pdf
-rw-r--r-- 1141 constrainedwiki.bib
-rw-r--r-- 360863 constrainedwiki.pdf
-rw-r--r-- 1203 debconf8-mancoosi.bib
-rw-r--r-- 311857 debconf8-mancoosi.pdf
-rw-r--r-- 868 disambiguation-errors.bib
-rw-r--r-- 218725 disambiguation-errors.pdf
-rw-r--r-- 1399 disambiguation.bib
-rw-r--r-- 199960 disambiguation.pdf
-rw-r--r-- 1314 enase2009-upgrade.bib
-rw-r--r-- 612040 enase2009-upgrade.pdf
-rw-r--r-- 1142 flea.bib
-rw-r--r-- 279242 flea.pdf
-rw-r--r-- 1045 gmetadom.bib
-rw-r--r-- 276157 gmetadom.pdf
-rw-r--r-- 1000 hbugs.bib
-rw-r--r-- 359155 hbugs.pdf
-rw-r--r-- 827 hotswup-package-upgrade.bib
-rw-r--r-- 173962 hotswup-package-upgrade.pdf
-rw-r--r-- 1329 jfla10-dh-ocaml.bib
-rw-r--r-- 442565 jfla10-dh-ocaml.pdf
-rw-r--r-- 1567 jss2012-concern.bib
-rw-r--r-- 763343 jss2012-concern.pdf
-rw-r--r-- 1191 lococo2011-conflicts.bib
-rw-r--r-- 202689 lococo2011-conflicts.pdf
-rw-r--r-- 1736 mancoosi-d2.1.bib
-rw-r--r-- 4093812 mancoosi-d2.1.pdf
-rw-r--r-- 800 mancoosi-d5.1.bib
-rw-r--r-- 584039 mancoosi-d5.1.pdf
-rw-r--r-- 212 master-thesis.bib
-rw-r--r-- 1192880 master-thesis.pdf
-rw-r--r-- 637 mathsearch.bib
-rw-r--r-- 172737 mathsearch.pdf
-rw-r--r-- 1145 matita-crafting.bib
-rw-r--r-- 508876 matita-crafting.pdf
-rw-r--r-- 674 matita.bib
-rw-r--r-- 1068749 matita.pdf
-rw-r--r-- 1132 mcs-disambiguation-errors.bib
-rw-r--r-- 2325039 mcs-disambiguation-errors.pdf
-rw-r--r-- 1248 modernization-iwoce-2009.bib
-rw-r--r-- 868243 modernization-iwoce-2009.pdf
-rw-r--r-- 1231 mooml-iwoce-2009.bib
-rw-r--r-- 291613 mooml-iwoce-2009.pdf
-rw-r--r-- 1557 msr2010-udd.bib
-rw-r--r-- 316754 msr2010-udd.pdf
-rw-r--r-- 1112 notation.bib
-rw-r--r-- 311752 notation.pdf
-rw-r--r-- 1246 nrhm-overlapping-conversions.bib
-rw-r--r-- 645227 nrhm-overlapping-conversions.pdf
-rw-r--r-- 4803 phd-thesis.bib
-rw-r--r-- 2519366 phd-thesis.pdf
-rw-r--r-- 1251 sac09-manners.bib
-rw-r--r-- 97150 sac09-manners.pdf
-rw-r--r-- 899 sac10-coclo.bib
-rw-r--r-- 300849 sac10-coclo.pdf
-rw-r--r-- 1457 scp2010-evolution.bib
-rw-r--r-- 3198284 scp2010-evolution.pdf
-rw-r--r-- 851 splc2010-fd-deps.bib
-rw-r--r-- 294376 splc2010-fd-deps.pdf
-rw-r--r-- 1539 steve-latvia.bib
-rw-r--r-- 465201 steve-latvia.pdf
-rw-r--r-- 1269 streaming-co-constraints.bib
-rw-r--r-- 183121 streaming-co-constraints.pdf
-rw-r--r-- 1351 strongdeps-esem-2009.bib
-rw-r--r-- 279147 strongdeps-esem-2009.pdf
-rw-r--r-- 1168 strongdeps-tr.bib
-rw-r--r-- 1185166 strongdeps-tr.pdf
-rw-r--r-- 1293 studia11-dh-ocaml.bib
-rw-r--r-- 523694 studia11-dh-ocaml.pdf
-rw-r--r-- 1020 tinycals.bib
-rw-r--r-- 286805 tinycals.pdf
-rw-r--r-- 1175 web30-semantics-templating.bib
-rw-r--r-- 1218577 web30-semantics-templating.pdf
-rw-r--r-- 923 whelp.bib
-rw-r--r-- 350558 whelp.pdf
-rw-r--r-- 1020 wiki-templating-tr.bib
-rw-r--r-- 317897 wiki-templating-tr.pdf
-rw-r--r-- 905 wiki-templating.bib
-rw-r--r-- 435954 wiki-templating.pdf