forgot to add POPL to RustBelt publication
authorRalf Jung <post@ralfj.de>
Sat, 3 Mar 2018 12:20:51 +0000 (13:20 +0100)
committerRalf Jung <post@ralfj.de>
Sat, 3 Mar 2018 12:21:21 +0000 (13:21 +0100)
commit637be140188b46b478c9322aea7132976f89a5ee
tree9d36a3fc5e424ecdb756512f4234d429be7dab77
parentcc9c75122fee0c7b42b400059937d60cb16ac5e6
forgot to add POPL to RustBelt publication
research/publications.html