Andrea AspertiBooksCategories, Types, and StructuresCategories, types, and structuresThe optimal implementation of functional programming languagesMathematical Knowledge ManagementAuthor data: Open Library