Skip to content
sahil.science
Questions
Papers
Topics
Syntheses
Almanac
About
C⁶
2026
← Questions
Source-derived question
What is type inference, and how did the ML language introduce it?
Programming Languages
Sources that address it
Turing Award
almanac
Related questions
How did FORTRAN change who could do scientific computing, from specialist to profession?
How did Rabin and Scott's result seed later work on regular expressions and the P versus NP problem?
How did the ideas in Simula spread into Smalltalk, C++, and Java over the following decades?
How does APL's array-based approach let one line replace dozens of lines of conventional code?
How does the Java Virtual Machine let the same compiled code run on different processors?
Roughly how much did governments and companies spend worldwide on Y2K remediation?
What design philosophy did Niklaus Wirth pursue across Euler, ALGOL W, Pascal, and Modula?
What did Perlis mean by treating computer science as a discipline rather than a trade?