-
"The idea is to move compiler construction away from the current situation, where compilers are huge collections of bespoke code, and towards a situation where the mathematical foundations of compilation can be directly used to support their construction." blog.regehr.org/archives/1709
Mood +3 🙂