Hacker News new | past | comments | ask | show | jobs | submit login
RustBelt: Logical Foundations for the Future of Safe Systems Programming (2019) (janestreet.com)
21 points by creata 13 days ago | hide | past | favorite | 1 comment





The link in the page was always broken or rotted, this appears to be the right link:

http://plv.mpi-sws.org/rustbelt/




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: