David A. Schmidt

• The structure of typed programming languages
• Gogatsu no shi =
• The Studio
• Denotational Semantics