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

Steven Shaw

Loves programming languages

1
answer
2
questions
~10k
people reached

Communities (53)

Top network posts

Top tags (8)

Score 34
Posts 1
Posts % 33
Score 34
Posts 1
Score 34
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
34 What are some good introductory books on type theory? Aug 21 '14
6 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 →

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.