Post date: 12 Dec 2006
This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.
Post date: 12 Dec 2006
This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.