
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.