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)
commitd08c4b74b314a1f671335ce7986432a58fd1569f
treef5fd307aed5de38cf8e9b2a18770e417c42c4152
parent76651223ecf9417eb2bba6f47c12a5ab3934a325
add my POPL20 papers
research/publications.html