A Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh 1987 Author’s address: Tatsuya Hagino Data Processing Center Kyoto University Kyoto 606 Japan Abstract A theory of data types and a programming language baseA Categorical Programming Language Tatsuya Hagino Doctor of Philosophy University of Edinburgh 1987 Author’s address: Tatsuya Hagino Data Processing Center Kyoto University Kyoto 606 Japan Abstract A theory of data types and a programming language based on category theory are presented. Data types play a crucial role in programming. They enable us to write programs easily and elegantly. Various p
