From 1b292c9b8cc968d424cb9b50b1e58510b36975ed Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 11 Oct 2016 18:44:42 +0200 Subject: [PATCH 1/1] papers update: add ICFP talk; add refinement paper --- research/publications.html | 13 ++++++++++--- 1 file changed, 10 insertions(+), 3 deletions(-) diff --git a/research/publications.html b/research/publications.html index e8cb324..53de065 100644 --- a/research/publications.html +++ b/research/publications.html @@ -5,11 +5,18 @@ slug: Publications

2016

+ +

2015

@@ -18,14 +25,14 @@ slug: Publications Unifying Worlds and Resources
Ralf Jung, Derek Dreyer
In HOPE 2015: 4th ACM SIGPLAN Workshop on Higher-Order Programming with Effects
- [talk] [talk (slides)] + [talk (YouTube)] [talk (slides)]

2013

-- 2.30.2