papers update: add ICFP talk; add refinement paper
authorRalf Jung <post@ralfj.de>
Tue, 11 Oct 2016 16:44:42 +0000 (18:44 +0200)
committerRalf Jung <post@ralfj.de>
Tue, 11 Oct 2016 16:44:42 +0000 (18:44 +0200)
commit1b292c9b8cc968d424cb9b50b1e58510b36975ed
tree2f60639ce88e933e8103109f3e59986201f1400b
parent463d6fdbce98018490edd126a79d60137f29b7db
papers update: add ICFP talk; add refinement paper
research/publications.html