Computer Science
Dave Clarke
  • Member for 9 years, 10 months
  • Last seen more than 3 years ago
Profile Activity
Stats
19,882
reputation
785k
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
3
gold badges
64
silver badges
112
bronze badges
Top tags
View all tags
321
Score
33
Posts
18
Posts %
245
Score
24
Posts
13
Posts %
187
Score
24
Posts
13
Posts %
181
Score
23
Posts
12
Posts %
147
Score
16
Posts
9
Posts %
144
Score
17
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
126
Why are there so many programming languages?
Mar 17 '12
77
What is coinduction?
Mar 19 '12
48
Show that { xy ∣ |x| = |y|, x ≠ y } is context-free
Mar 13 '12
36
Criteria for selecting language for first programming course
May 20 '12
29
How to prove that a language is not regular?
Apr 4 '12
25
How to read typing rules?
May 29 '12
25
Learning Automated Theorem Proving
Mar 27 '12
25
What is meant by "solvable by non deterministic algorithm in polynomial time"
Apr 13 '12
25
$\lambda$-calculus with reflection
Jul 12 '12
24
When to use recursion?
Apr 21 '12
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 we have tags for series of questions?
7
Should closed questions be deleted?
Top network posts
View all network posts
118
Is talking about quitting to your supervisor a point of no return?
98
Split a number into its digits with Haskell
74
What is expected of a postdoc?
74
How do parents have sex when there's a toddler in the house?
59
Capitalisation of "Section" and "Chapter" in a Ph.D. Thesis

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.