PL Perspectives

Perspectives on computing and technology from and for those with an interest in programming languages.

Archive of posts tagged: retrospective

Open Call for Contributions

Open Call for Contributions

by Michael Hicks and Todd Millstein on Dec 8, 2020 | Tags: retrospective

Have something to say about PL? Send us your idea!

Mechanized Proofs for PL: Past, Present, and Future

Mechanized Proofs for PL: Past, Present, and Future

by Talia Ringer on Jan 29, 2020 | Tags: benchmarks, metatheory, proof engineering, retrospective

The history of machine-checked proofs about programming languages offers valuable lessons for the future of programming languages research.