About Casey
Programming languages PhD; I pretend to know about typed lambda calculi, monads, and category theory
Lists
milk has no public lists
Timeline
milk has no activity yet
Programming languages PhD; I pretend to know about typed lambda calculi, monads, and category theory
milk has no public lists
milk has no activity yet