2 Meetup Groups match “Category Theory” near San Francisco, CA
There are no upcoming Meetups.
A seminar dedicated to studying and discussing applied category theory, functors, monads, type theory, category logic, functional programming. Some basic knowledge is desired. Google group BACAT is migrating here: https://groups.google.com/forum/?fromgroups#!forum/bacat
Have you been writing software for a while and now want to go deeper into the philosophy and mechanics of programming languages? Have you been hearing about things like automated theorem proving, hybrid type checking, gradual types, and wondering whether you'll be finding them soon in mainstream programming languages? Are you interested out-of-the-mainstream programming language paradigms like logic programming? Have you heard mathematical-sounding terms like lambda calculus and pi calculus, and …
Get an alert email when new Meetup Groups like this start near you.
You'll get advice, help finding members, and tools to make running a Meetup Group easier.