Theoretical Computer Science
user avatar
user avatar
user avatar
mrsteve
  • Member for 10 years, 8 months
  • Last seen more than 4 years ago
Profile Activity
Stats
443
reputation
4k
reached
0
answers
7
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
12
bronze badges
Top tags
View all tags
0
Score
4
Posts
57
Posts %
0
Score
3
Posts
43
Posts %
0
Score
3
Posts
43
Posts %
0
Score
3
Posts
43
Posts %
0
Score
2
Posts
29
Posts %
0
Score
2
Posts
29
Posts %
Top posts
All Questions Answers
Score Newest
question
13
Modeling objects (OOP) in dependent type theory
Dec 22, 2011
question
10
Certified compiler and optimizations in Coq/Agda
Jan 29, 2013
question
7
Constraint types (IBM/X10) compared to dependent types
Mar 21, 2013
question
4
dependent types and higher-order logic applied in the realm of DSLs
Mar 25, 2013
question
4
Remove unneeded atoms in CNF minimalization (SAT preprocessing)
May 25, 2014
question
2
Number of SAT checks that are needed to find all combinations of subset of boolean variables of a propositional formula
Apr 30, 2014
question
1
Verification: how 'formal' is a tool like Java Modeling Language (JML) compared to certified libraries and model checking?
Mar 21, 2013
Top network posts
View all network posts
34
How to begin a class with humor
26
What characters are allowed in Haskell function names?
20
"Further, ..." versus "Furthermore, ..." at the beginning of a sentence (meaning the same thing)?
17
Introductory books as preparation to read Voevodsky homotopy-theory (HoTT) book
16
Function Composition in R (and high level functions)

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.