Schmidt, David A. profile picture

Schmidt, David A.

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Denotational semantics: a methodology for language development
The structure of typed programming languages