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
~464
people reached
  • San Francisco, CA
  • haskellforall.com
  • Member for 5 years, 5 months
  • 15 profile views
  • Last seen Sep 9 '18 at 17:14

Communities (9)

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

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.