addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscontroller-playcrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobe--smallglobegmailgooglegroupshelp-with-circleimageimagesinstagramFill 1launch-new-window--smalllight-bulblinklocation-pinm-swarmSearchmailmessagesminusmoremuplabelShape 3 + Rectangle 1ShapeoutlookpersonJoin Group on CardStartprice-ribbonprintShapeShapeShapeShapeImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruserwarningyahoo

Allen B.


San Francisco, CA
Hometown: San Francisco

Member since:

August 31, 2013


How familiar are you with category theory?

New to knowing category theory the name. But have been working with its mathematics and concepts for years.

How familiar are you with type theory?

New to knowing type theory the name. But have been working with its mathematics and concepts for years. I have especially been focused professionally on systems that make use of types.

How's your functional programming level?

Just started but am just discovering it's power to implement novel systems with lambda expressions, combinatorial logic, and new data models.


I have a passion for mathematics, language, and computation for discovering and exploring the imagination and the unimaginable. I am a systems architect and founder of

Member of 78 other Meetups

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