add JFLA 2010 paper about dh-ocaml
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Nov 2009 17:20:17 +0000 (18:20 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 27 Nov 2009 17:20:17 +0000 (18:20 +0100)
commit8fac8a9906a5ceed96d7490455b6b711a3bc0546
treebf73765a06dbd65f077ba2b4eb71a648f8f0aced
parentfa050cad4305b5fdfa315772c74618cc80e4142b
add JFLA 2010 paper about dh-ocaml
research/publications.mdwn
research/publications/jfla10-dh-ocaml.pdf [new file with mode: 0644]