TylerRick 28 Jan 2020 in Public category theory programming language theory mathematics functional programming to research