PhD thesis | Robbert Krebbers - discu.eu

Hacker News

The C standard formalized in Coq http://robbertkrebbers.nl/thesis.html 109 comments 30/11/2015

Linking pages

Pointers Are Complicated, or: What's in a Byte? https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html 161 comments

Related searches:

Search whole site: site:robbertkrebbers.nl

Search title: PhD thesis | Robbert Krebbers

See how to search.

Submit link to: