A Demonstrably Correct Compiler (1991) [pdf]

2 points | by ravenical 2 hours ago

No comments yet