Theoretical Computer Science
Profile Activity
Meta user
Network profile
474
reputation
4
9

Steven Shaw

Loves programming languages

1
answer
2
questions
~9k
people reached

Communities (50)

Top network posts

Top tags (8)

Score 28
Posts 1
Posts % 33
Score 28
Posts 1
Score 28
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (3)

All Questions Answers
Votes Newest
28 What are some good introductory books on type theory? Aug 21 '14
5 Where is the quote “Informal proofs are algorithms, formal proofs are code” from? May 18 '16
1 What's the relationship between “free theorems” and “free objects” May 6 '16

Badges (13)

Gold

—

Silver

4

Rarest

Bronze

9

Rarest

View all badges →