Typechecking is undecideable when 'type' is a type (1989) [pdf](dspace.mit.edu)43 points by birdculture 11 months ago | 23 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 undecideable when 'type' is a type (1989) [pdf]](https://hn.urlbox.com/shots/renders/2025/11/23/5336dfb7-23fa-42e7-87a2-2ad155af9fa0.jpg)
![Screenshot of dspace.mit.edu: Typechecking is undecidable when 'type' is a type (1989) [pdf]](https://hn.urlbox.com/shots/renders/2026/2/1/c5741331-4701-45ce-8e54-8d1291e9d4fb.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)
