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/7419297ead5045b1f7f536fe7ce64bf3ac8f95a2?hp=7419297ead5045b1f7f536fe7ce64bf3ac8f95a2

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