Propositions as Types (2014) [pdf](homepages.inf.ed.ac.uk)95 points by nill0 1 year ago | 50 comments
Image Processing in C (2000) [pdf](homepages.inf.ed.ac.uk)125 points by nill0 1 year ago | 20 comments
![Screenshot of homepages.inf.ed.ac.uk: Propositions as Types (2014) [pdf]](https://hn.urlbox.com/shots/renders/2025/5/6/c23e1670-3c2c-4509-8f2d-54851225e697.jpg)
![Screenshot of homepages.inf.ed.ac.uk: Image Processing in C (2000) [pdf]](https://hn.urlbox.com/shots/renders/2025/3/17/3fe9795d-2f39-4cc3-b050-c228c33eb349.jpg)