Skip navigation

David A. Schmidt

Titles by This Author

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.