Theoretical Computer Science
Meta user
Network profile
427
reputation
4
8

Steven Shaw

Loves programming languages

1
answer
2
questions
~8k
people reached

Communities (49)

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
4 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 (12)

Gold

—

Silver

4

Rarest

Bronze

8

Rarest

View all badges →