On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner
"Our objective is to understand the notion of type in programming languages, present a model of typed,
polymorphic programming languages that reflects recent research in type theory, and examine the relevance of recent research to the design of practical programming languages."
The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!