Theoretical Computer Science
Steven Shaw
Profile Activity
Stats
544
reputation
11k
reached
1
answers
2
questions
Communities
View all
About

Loves programming languages

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
9
bronze badges
Top tags
View all 8 tags
34
Score
1
Posts
33
Posts %
34
Score
1
Posts
33
Posts %
34
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
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
Top network posts
View all
60
How can colored terminal output be disabled for sbt/play?
54
multiple side-by-side versions with Homebrew?
37
Should I avoid using Monad fail?
36
What is Axiom K?
36
Get the short Git version hash

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.