Theoretical Computer Science
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw
  • Member for 11 years
  • Last seen more than 1 year ago
Profile Activity
Stats
594
reputation
13k
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
All Questions Answers
Score Newest
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
How can colored terminal output be disabled for sbt/play?
59
multiple side-by-side versions with Homebrew?
42
What is Axiom K?
41
Should I avoid using Monad fail?
41
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.