fix ralfj.de redirects
[web.git] / research / iris /
drwxr-xr-x   ..
-rw-r--r-- 805564 talk-hope2015.pdf
-rw-r--r-- 2252313 talk-icfp2016.pdf
-rw-r--r-- 862951 talk-iris2019.pdf
-rw-r--r-- 2492023 talk-popl2015.pdf