Skip navigation

# David A. Schmidt

## The Structure of Typed Programming Languages

The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design.