From: Ralf Jung <post@ralfj.de>
Date: Tue, 11 Oct 2016 16:44:42 +0000 (+0200)
Subject: papers update: add ICFP talk; add refinement paper
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/830bcddbda052483153dc431d45aacf537418196?ds=inline;hp=830bcddbda052483153dc431d45aacf537418196

papers update: add ICFP talk; add refinement paper
---