Skip to main content
Theoretical Computer Science
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw
  • Member for 12 years, 6 months
  • Last seen more than a month ago
Profile Activity
Stats
594
reputation
14k
reached
1
answer
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 tags
38
Score
1
Posts
33
Posts %
38
Score
1
Posts
33
Posts %
38
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
answer
38
What are some good introductory books on type theory?
Aug 21, 2014
question
7
Where is the quote "Informal proofs are algorithms, formal proofs are code" from?
May 18, 2016
question
1
What's the relationship between "free theorems" and "free objects"
May 6, 2016
Top network posts
View all network posts
64
multiple side-by-side versions with Homebrew?
64
How can colored terminal output be disabled for sbt/play?
46
What is Axiom K?
43
Get the short Git version hash
41
Should I avoid using Monad fail?