I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...

Over the last few years, I’ve been very slowly working up a short expository paper — requiring no knowledge of categories — on set theory done categorically. It’s now progressed to the stage where I’d ...

Though the problems number from 1 to 99, there are some gaps and some additions marked with letters. There are actually only 88 problems. There is no nested list type in OCaml, so we need to define ...

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.