HTML, the Programming Language(html-lang.org)266 points by recursivedoubts 2 years ago | 126 comments
Programming in Martin-Lof's Type Theory: An Introduction (1990)(cse.chalmers.se)42 points by todsacerdoti 1 year ago | 0 comments
The Development of the C Language (1993)(bell-labs.com)212 points by gus_leonel 3 years ago | 282 comments
The Development of the C Language (2003)(cm.bell-labs.co)167 points by cpeterso 3 years ago | 21 comments
Type Theory and Functional Programming (1999) [pdf](cs.cornell.edu)179 points by fanf2 1 year ago | 65 comments
![Screenshot of vfxforth.com: Compiling Prolog to Forth [pdf]](https://hn.urlbox.com/shots/renders/2026/3/7/f5a104a8-c3cd-4d0e-9f60-aec6e0bebed6.jpg)
![Screenshot of bitsavers.informatik.uni-stuttgart.de: The MDL ("Muddle") Programming Language (1979) [pdf]](https://hn.urlbox.com/shots/renders/2025/11/6/7846cbac-3d93-42bc-aee1-8b139f067995.jpg)
![Screenshot of cs.cornell.edu: Type Theory and Functional Programming (1999) [pdf]](https://hn.urlbox.com/shots/renders/2025/10/1/d230b483-e079-4cd0-a35f-4c9438242320.jpg)