addressalign-toparrow-leftarrow-rightbackbellblockcalendarcameraccwchatcheckchevron-downchevron-leftchevron-rightchevron-small-downchevron-small-leftchevron-small-rightchevron-small-upchevron-upcircle-with-checkcircle-with-crosscircle-with-pluscrossdots-three-verticaleditemptyheartexporteye-with-lineeyefacebookfolderfullheartglobegmailgoogleimageimagesinstagramlinklocation-pinmagnifying-glassmailminusmoremuplabelShape 3 + Rectangle 1outlookpersonplusprice-ribbonImported LayersImported LayersImported Layersshieldstartickettrashtriangle-downtriangle-uptwitteruseryahoo

Avijit K.

Location:

San Mateo, CA
Hometown: Foster City

Member since:

March 17, 2013

How familiar are you with category theory?

Basic familiarity, coming more from a type-theoretic and proof-theoretic perspective.

How familiar are you with type theory?

Did some work on designing a security-typed PL.

How's your functional programming level?

Intermediate.

Introduction

Hey! My name is Avijit. I am interested in category/type theory and mathematical logic, and would like to meet people with similar interests.


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