As the author says in the preface, this is a book about isomorphisms of types. The fact that theoretical and implemcntational aspects of the research are as well treated makes the audience of this book become larger. In the reviewer's opinion it is a chance for many readers, that such a book could appear, because it is conceptually very responsive to both researcher's and programmer's needs. In general, many papers on this topic have been written, but what is really needed for is a book putting together all these aspects. As a consequence, there arc many potential types of readers: those who want to get an insight into type isomorphism and have a certain background, those who have no background, and try to get familiar with this research topic, practitioners, who could enter now theoretical details, etc. This book has a very attractive style, that makes it interesting for all mentioned readership.
Roberto Di Cosmo
All articles published by Studies in Informatics and Control (SIC) are published in accordance with the terms and conditions of the Creative Commons Attribution License (CC BY-NC-SA 4.0).