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)
commit830bcddbda052483153dc431d45aacf537418196
tree14d76967da01937e38cc38df82f284bee975a50a
parent277100c5967ac22c987d127ce9048ff1faf26793
papers update: add ICFP talk; add refinement paper
research/publications.html