Theoretical Computer Science
Profile Activity
Network profile
206
reputation
1
2

Gabriel Gonzalez

I'm a software engineer at Twitter. I love programming, particularly in Haskell. I spend most of my free time searching for elegant solutions to widespread programming challenges.

1
answer
0
questions
~424
people reached
  • San Francisco, CA
  • haskellforall.com
  • Member for 4 years, 6 months
  • 14 profile views
  • Last seen Sep 9 '18 at 17:14

Communities (8)

Top network posts

Top tags (3)

Score 9
Posts 1
Score 9
Posts 1
Score 9
Posts 1

Top posts (1)

All Questions Answers
Votes Newest
9 Dependent types over Church-encoded type in PTS/CoC Jan 14 '16

Badges (3)

Gold

—

Silver

1

Rarest

Bronze

2

Rarest