Join us for our fifth meeting reading through “10 Technical Papers Every Programmer Should Read (At Least Twice)”. This time it’s “On Understanding Types, Data Abstraction, and Polymorphism” by Luca Cardelli and Peter Wegner.
The evolution of languages from untyped universes to monomorphic and then polymorphic type systems is reviewed. Mechanisms for polymorphism such as overloading, coercion, subtyping, and parameterization are examined. A unifying framework for polymorphic type systems is developed in terms of the typed λ-calculus augmented to include binding of types by quantification as well as binding of values by abstraction.
We’ll meet at FutureLearn’s office in Camden Town for 6:30 pm so please sign up and then inform reception that you’re here for Computation Club and someone will point you to our regular meeting room on the ground floor.
We’ll be discussing the paper together section by section so please check out our code of conduct and we hope to see you there.