Follow

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."

PDF: buff.ly/2oBagQP

mstdn.io/media/yAkM2aC3RjQFvP8

Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!