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)
commit7419297ead5045b1f7f536fe7ce64bf3ac8f95a2
tree043b2e523f3929fcf308e326e1bdc0af483085c1
parent55846fb872d8f3aa6dff3e63219d8d1349740355
papers update: add ICFP talk; add refinement paper
research/publications.html