David A Schmidt

David A Schmidt is the author of books such as The Structure Of Typed Programming Languages.