September 2, 2012
No answer yet
Programmer with some interest in functional languages and powerful type systems.
Help support your Meetup
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
2,831 Linux engineers
8,938 Google Developers
2,229 AI trackers
Meetup members, Log in