Hacker News new | ask | show | jobs
by leoc 10 days ago
To the extent that they are connected it's most likely through Planner: see the OP and the other HOPL2 https://dl.acm.org/doi/proceedings/10.1145/154766 paper "The Evolution of Lisp" https://www.dreamsongs.com/Files/HOPL2-Uncut.pdf [extended version]. (They also both show up in Donald MacKenzie's Mechanising Proof https://mitpress.mit.edu/9780262632959/mechanizing-proof/ https://archive.org/details/mechanizingproof0000mack/ though it doesn't really connect them.)
1 comments

HoPL = History of Programming Languages

It's a 'subset' of ACM SIGPLAN (Special Interest Group on Programming Languages) and is absolutely fascinating, if, you know, you're into that sort of thing.

The conference proceedings are usually locked up in academic libraries. Sometimes it's fun to hold a physical copy in one's hands... If that's one's cup of tea, one's local city's public library may have a borrowing arrangement with local / regional / state college libraries. For example, at any public city library in California, one can request and then typically borrow* a book from any California State University / University of California library.

* With restrictions, I'm sure...