Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
Dave Clarke
  • Member for 11 years, 9 months
  • Last seen more than 3 years ago
Profile Activity
Stats
16,576
reputation
402k
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
58
silver badges
106
bronze badges
Top tags
View all tags
461
Score
39
Posts
26
Posts %
391
Score
32
Posts
21
Posts %
291
Score
32
Posts
21
Posts %
224
Score
14
Posts
9
Posts %
142
Score
18
Posts
12
Posts %
121
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
50
Solid applications of category theory in TCS?
Sep 4, 2010
answer
41
What Books Should Everyone Read?
Nov 22, 2010
answer
37
How do 'tactics' work in proof assistants?
Mar 27, 2011
answer
35
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
126
Why are there so many programming languages?
118
Is talking about quitting to your supervisor a point of no return?
99
Split a number into its digits with Haskell
81
Software to draw illustrative figures in papers
77
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.