search

logsem / iris-project

2 stars 18 forks source link

Add POPL'23 and ECOOP'22 papers #14

Closed julesjacobs closed 1 year ago

julesjacobs commented 1 year ago

Add papers requested by Robbert Krebbers: