BP: Formal Proofs, the Fine Print and Side Effects (2018) [pdf](people.scs.carleton.ca)47 points by luu 3 years ago | 5 comments
![Screenshot of people.scs.carleton.ca: BP: Formal Proofs, the Fine Print and Side Effects (2018) [pdf]](https://hn.urlbox.com/shots/renders/2023/7/22/fd1e2749-4473-4ddb-91b0-13809cd2f88d.jpg)