Sebastien Z.

Location:

San Francisco, CA

Member since:

October 9, 2012

How familiar are you with category theory?

Currently working through Awodey

How familiar are you with type theory?

Enough to follow Bob Harper's lectures at OPLSS and be interested in homotopy type theory

How's your functional programming level?

Competent at Haskell

Introduction

Fell in love with functional programing, then category theory, then type theory.


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