From: Ralf Jung Date: Mon, 31 Aug 2020 09:42:29 +0000 (+0200) Subject: add iris talks X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/d6abdf9b4e76dccc705b05f68b4f912c43fea2e4?hp=8e720e3c00a94998901574df8d990c5a792ebeee add iris talks --- diff --git a/research/iris/.htaccess b/research/iris/.htaccess new file mode 100644 index 0000000..8c9c10b --- /dev/null +++ b/research/iris/.htaccess @@ -0,0 +1 @@ +Redirect /~jung/iris/iris.pdf http://plv.mpi-sws.org/iris/paper.pdf diff --git a/research/iris/logatom-talk-2019.pdf b/research/iris/logatom-talk-2019.pdf new file mode 100644 index 0000000..543b7bf Binary files /dev/null and b/research/iris/logatom-talk-2019.pdf differ diff --git a/research/iris/talk-hope2015.pdf b/research/iris/talk-hope2015.pdf new file mode 100644 index 0000000..598f14d Binary files /dev/null and b/research/iris/talk-hope2015.pdf differ diff --git a/research/iris/talk-icfp2016.pdf b/research/iris/talk-icfp2016.pdf new file mode 100644 index 0000000..2c9052c Binary files /dev/null and b/research/iris/talk-icfp2016.pdf differ diff --git a/research/iris/talk-popl2015.pdf b/research/iris/talk-popl2015.pdf new file mode 100644 index 0000000..b32f405 Binary files /dev/null and b/research/iris/talk-popl2015.pdf differ