Computer Science
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke
  • Member for 11 years, 9 months
  • Last seen more than 4 years ago
Profile Activity
Stats
20,165
reputation
864k
reached
168
answers
19
questions
Communities
View all
About

Computer scientist working on parallel programming language design, plus some formal methods and a smattering of logic in there for good measure.

Badges
View all badges
4
gold badges
67
silver badges
113
bronze badges
Top tags
View all tags
323
Score
33
Posts
18
Posts %
253
Score
24
Posts
13
Posts %
196
Score
24
Posts
13
Posts %
180
Score
23
Posts
12
Posts %
152
Score
16
Posts
9
Posts %
147
Score
17
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
127
Why are there so many programming languages?
Mar 17, 2012
question
79
What is coinduction?
Mar 19, 2012
question
53
Show that { xy ∣ |x| = |y|, x ≠ y } is context-free
Mar 13, 2012
question
35
Criteria for selecting language for first programming course
May 20, 2012
answer
30
How to prove that a language is not regular?
Apr 4, 2012
answer
30
How to read typing rules?
May 29, 2012
answer
28
What is meant by "solvable by non deterministic algorithm in polynomial time"
Apr 13, 2012
answer
25
Learning Automated Theorem Proving
Mar 27, 2012
question
25
$\lambda$-calculus with reflection
Jul 12, 2012
answer
24
When to use recursion?
Apr 21, 2012
Top Meta posts
4
12
11
What is Computer Science?
9
Should "hints" be posted as "answers"?
7
Are questions about programming language design on-topic here?
7
Should closed questions be deleted?
7
Should we have tags for series of questions?
Top network posts
View all network posts
118
Is talking about quitting to your supervisor a point of no return?
101
Split a number into its digits with Haskell
85
Software to draw illustrative figures in papers
75
What is expected of a postdoc?
75
How do parents have sex when there's a toddler in the house?

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.