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)

No differences found