Typechecking is undecidable when 'type' is a type (1989) [pdf](dspace.mit.edu)65 points by zem 8 months ago | 38 comments
The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf](dspace.mit.edu)36 points by swatson741 1 year ago | 3 comments
Revealed: Media Blitz Against Heat Pumps Funded by Gas Lobby Group(desmog.com)18 points by doener 3 years ago | 1 comments
![Screenshot of dspace.mit.edu: Typechecking is undecidable when 'type' is a type (1989) [pdf]](https://hn.urlbox.com/shots/renders/2026/2/1/a2853921-6a2a-4404-bab8-1316bd2f85cb.jpg)
![Screenshot of dspace.mit.edu: Typechecking is undecideable when 'type' is a type (1989) [pdf]](https://hn.urlbox.com/shots/renders/2025/11/23/d58edfaf-8316-4d1f-a9f6-b3c8c4ced037.jpg)
![Screenshot of dspace.mit.edu: The Revised Report on Scheme or An UnCommon Lisp (1985) [pdf]](https://hn.urlbox.com/shots/renders/2025/9/15/210fc620-a93f-4032-b24d-b1614fb12e0f.jpg)
![Screenshot of theor.jinr.ru: Neutrino (2010) [pdf]](https://hn.urlbox.com/shots/renders/2024/2/24/33e046eb-dc43-45e7-905d-918dd32b9932.jpg)
