addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgooglegroupshelp-with-circleimageimagesinstagramlinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Andrew P


San Francisco, CA
Hometown: Melbourne

Member since:

August 30, 2012

How familiar are you with category theory?

I've read Awodey's book and several introductions to the topic, but comprehension remains elusive.

How familiar are you with type theory?

I've read TAPL and understand some of the basics.

How's your functional programming level?

I'm pretty proficient in Haskell and have dabbled in Erlang, Scheme, OCaml and F#.


I'm interested in Category Theory and Type Theory as a programmer.

People in this
Meetup are also in:

Sign up

Meetup members, Log in

By clicking "Sign up" or "Sign up using Facebook", you confirm that you accept our Terms of Service & Privacy Policy