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/1b292c9b8cc968d424cb9b50b1e58510b36975ed?hp=1b292c9b8cc968d424cb9b50b1e58510b36975ed

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