Computer Science
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw's user avatar
Steven Shaw
  • Member for 11 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
200
reputation
627
reached
1
answer
1
question
Communities
View all
About

Loves programming languages

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
9
bronze badges
Top tags
3
Score
2
Posts
100
Posts %
3
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
Top posts
All Questions Answers
Score Newest
question
5
Is there a relationship between "sound and complete" in logic and "type safety" in PLs?
Jun 1, 2016
answer
3
What concept is for a name referring to different types at different points in execution?
Sep 16, 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?
43
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.