From: Ralf Jung 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?ds=inline;hp=1b292c9b8cc968d424cb9b50b1e58510b36975ed papers update: add ICFP talk; add refinement paper ---