
Open Call for Contributions
Have something to say about PL? Send us your idea!
Have something to say about PL? Send us your idea!
The history of machine-checked proofs about programming languages offers valuable lessons for the future of programming languages research.