Typechecking Is Undecidable When 'Type' Is a Type (1989)
https://dspace.mit.edu/bitstream/handle/1721.1/149366/MIT-LCS-TR-458.pdf?sequence=6
https://redd.it/1mcma9y
@programmingreddit
Post #12490
72
- Oct 8, 2026The people holding up the internet https://sheets.works/data-viz/holding-up-the-internet h…
- Oct 8, 2026Margaret Hamilton, computing pioneer who led software development for the Apollo program,…
- Oct 8, 2026State of Devs 2026 https://2026.stateofdevs.com/en-US/ https://redd.it/1x0asww @programmin…
- Oct 7, 2026Anti-Patterns in Software Blogging https://refactoringenglish.com/blog/anti-patterns-softw…
- Oct 7, 2026Software developers are not okay https://youtu.be/KsEpW03gxKg?is=OdU0YTE8dWIyRr8i https://…
- Oct 7, 2026StackOverflow Developer Survey Results 2026 https://survey.stackoverflow.co/2026 https://r…