- Type Systems
- Customization: Optimizing Compiler Technology for SELF, a Dynamically-typed Object-oriented Programming Language
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
- An axiomatic basis for computer programming
- Proof of correctness of data representations
- A Unified approach to global program optimization
- The next 700 programming languages
- Subgoal induction
- From System F to Typed Assembly Language
- Call-by-name, call-by-value, and the λ-calculus
- On the criteria to be used in decomposing systems into modules
manjunath5496 / 11-important-papers-every-programmer-should-know Goto Github PK
View Code? Open in Web Editor NEW"Software testing is a sport like hunting, it's bughunting."― Amit Kalantri