Faith, Evolution, and Programming Languages
Philip Wadler
Advanced Topics in Programming Languages Series: Parametric Polymorphism
Phil Gossett
Phil Gossett's talk is based on papers from Wadler.
Wadler's talk covers more than just type systems, including
- lambda calculus
- Java generics
- Links: Evolutionary Type System (mixing typed and untyped languages in a controlled way)
No comments:
Post a Comment