David a Schmidt

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