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)
commit371466ca8f2294e1bcc7a16d2be6fbc244cc8784
treebabc1de8c73e5fddf72264a8f7fa5be1ce50b99c
parent9797304728e6d0e798db02eb0a8296ff1423826f
forgot to add POPL to RustBelt publication
research/publications.html