4 ms·
Is that related to this? https://softwarefoundations.cis.upenn.edu https://softwarefoundations.cis.upenn.edu
by throwawaymath 8y ago
Is that related to this?
https://softwarefoundations.cis.upenn.edu https://softwarefoundations.cis.upenn.edu
- YorkshireSeason 8y agoYes. IIRC Softwarefoundations grew out of a course the author of TAPL has been teaching at U Penn.