Papers in Systems: Programming as Theory Building
Programming as Theory Building
Our Papers in Systems discussion series will continue with discussion of “Programming as Theory Building” by Peter Naur
The discussion will be led by Yvonne Lam.
When: August 12th, 2024, 1PM - 2PM Eastern Time (US/Canada). (19:00-20:00 CET) The Zoom room will remain open until 2:30PM for informal discussion. Check time in your time zone.
The paper is available at: https://pages.cs.wisc.edu/~remzi/Naur.pdf (from Appendix B of Alistair Cockburn's book)