add my POPL20 papers
authorRalf Jung <post@ralfj.de>
Mon, 18 Nov 2019 14:24:49 +0000 (15:24 +0100)
committerRalf Jung <post@ralfj.de>
Mon, 18 Nov 2019 14:24:49 +0000 (15:24 +0100)
commit44bdf667103ce2de86bcb50f15823512b625f789
tree7d7ba03b101f6d150b3d9b36dd8d640a3b3a310b
parentea3fac2709cfb83dd5bc2b7201811682efd6ff66
add my POPL20 papers
research/publications.html