As of May 31, 2023, we have updated our Code of Conduct.
Theoretical Computer Science
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke
  • Member for 12 years, 9 months
  • Last seen more than 4 years ago
Profile Activity
Stats
16,626
reputation
421k
reached
140
answers
10
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
59
silver badges
106
bronze badges
Top tags
View all tags
466
Score
39
Posts
26
Posts %
396
Score
32
Posts
21
Posts %
289
Score
32
Posts
21
Posts %
227
Score
14
Posts
9
Posts %
143
Score
18
Posts
12
Posts %
125
Score
9
Posts
6
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
52
Shallow versus Deep Embeddings
Sep 16, 2010
answer
52
Solid applications of category theory in TCS?
Sep 4, 2010
answer
42
What Books Should Everyone Read?
Nov 22, 2010
answer
37
How do 'tactics' work in proof assistants?
Mar 27, 2011
answer
36
What is the most intuitive dependent type theory I could learn?
Apr 17, 2011
answer
33
How would I go about learning the underlying theory of the Coq proof assistant?
Apr 3, 2011
answer
32
Programming languages for efficient computation
Feb 24, 2011
answer
29
Advice for attending my first TCS conference
Nov 24, 2011
question
29
Presenting work-in-progress (slides now available)
Jan 21, 2011
answer
27
Physics results in TCS?
Oct 10, 2010
Top Meta posts
3
29
20
Broadening the scope of questions
12
Migrating to cs.SE
9
Promoting TCS.SE at FCRC
8
Should we allow this type of question: "Evaluating a doctoral program/institute of CS"
8
Questions about compilation errors in Coq
Top network posts
View all network posts
128
Why are there so many programming languages?
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
78
What is coinduction?

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.