Influential Works
Influential Papers
Perceus: Garbage Free Reference Counting with Reuse
Extensible records with scoped labels
Self: The Power of Simplicity
Influential Talks
Growing a Language
Outperforming Imperative with Pure Functional Languages
Other Influences
Descriptions of the ς-calculus here, here, and here
This sample implementation of the type system
The Smalltalk Programming Language