1999 - The Optimal Implementation of Functional Programming Languages [Cambridge Tracts in Theoretical Computer Science] (Hardcover) ISBN-13: 9780521621120 ISBN-10: 0521621127 Genres: Computers & Technology, Reference ? 1991 - Categories Types and Structures an Introduction to Category Theory for the Working Computer Scientist [Foundations of Computing Series] (Hardcover) ISBN-13: 9780262011259 ISBN-10: 0262011255 Genre: Science & Math ? |