
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.
The history of machine-checked proofs about programming languages offers valuable lessons for the future of programming languages research.
Will machine learning automate programming out of existence, as it is doing for many other professions?
Open Access publication models aim to make scientific results accessible to everyone. How will we pay for them?