Title: Category theory and computer programming
Subjects: Categories (Mathematics), Computer programming, Electronic digital computers, Programming