On Understanding Types, Data Abstraction, and Polymorphism (1985) [pdf]lucacardelli.name8 points·molteanu··0 commentsOpen articleSaveView on HN