Dan B.

Location:

Oakland, CA
Hometown: Oakland, CA

Member since:

February 21, 2013

Networks

How familiar are you with category theory?

Not very. I grok so-called Monads in Haskell, and have heard and read this and that regarding category theory, but nothing serious.

How familiar are you with type theory?

Decently. I've read TAPL, for what that's worth.

How's your functional programming level?

Superb, imho.

Introduction

Just a hobbyist Haskeller interested in Category Theory as it relates to type theory and proof 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