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/f811aad0783f28cd08a70035b6e63d9f7583462e?ds=inline;hp=f468e8744873c243bd3bbb1cf6a12f1a3a1637e6 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