Mechanized Proofs for PL: Past, Present, and Future
The history of machine-checked proofs about programming languages offers valuable lessons for the future of programming languages research.
A Small Matter of Programming
Will machine learning automate programming out of existence, as it is doing for many other professions?
What is a Sustainable Path to Open Access?
Open Access publication models aim to make scientific results accessible to everyone. How will we pay for them?
