November 27, 2012
Intermediate Haskell Programmer.
Graduate student in Berkeley CS working on formal methods
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
8,517 Data Bees
16,053 Silicon Valley Entrepreneurs
1,488 Clojure programmers
7,650 Data Coders
Meetup members, Log in