Next700

Reference 1

  1. The Next 700 Compiler Correctness Theorems (Functional Pearl). By Daniel Patterson, Amal Ahmed. ICFP, 2019. ↩
Created Oct 9, 2019 // Last Updated Oct 9, 2019

If you could revise
the fundmental principles of
computer system design
to improve security...

... what would you change?