MathOverflow
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke's user avatar
Dave Clarke
  • Member for 10 years, 9 months
  • Last seen more than 9 years ago
Profile Activity
Stats
101
reputation
0
reached
0
answers
0
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
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.

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?
102
Split a number into its digits with Haskell
86
Software to draw illustrative figures in papers
79
What is coinduction?