add iris talks
authorRalf Jung <post@ralfj.de>
Mon, 31 Aug 2020 09:42:29 +0000 (11:42 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 31 Aug 2020 09:42:29 +0000 (11:42 +0200)
commitf811aad0783f28cd08a70035b6e63d9f7583462e
tree6872677d0ef00115660dbbe2beda135e905e891e
parentf468e8744873c243bd3bbb1cf6a12f1a3a1637e6
add iris talks
research/iris/.htaccess [new file with mode: 0644]
research/iris/logatom-talk-2019.pdf [new file with mode: 0644]
research/iris/talk-hope2015.pdf [new file with mode: 0644]
research/iris/talk-icfp2016.pdf [new file with mode: 0644]
research/iris/talk-popl2015.pdf [new file with mode: 0644]