Theoretical Computer Science
Meta user
Network profile
381
reputation
3
5

Dan Doel

Apparently, this user prefers to keep an air of mystery about them.

5
answers
0
questions
~3k
people reached
  • Boston, MA, USA
  • Member for 8 years, 10 months
  • 71 profile views
  • Last seen 4 hours ago

Communities (5)

Top network posts

Top tags (14)

Score 17
Posts 3
Posts % 60
Score 14
Posts 2
Score 10
Posts 2
Score 8
Posts 1
Score 8
Posts 1
Score 7
Posts 1
View all tags →

Top posts (5) All Questions Answers | Votes Newest

8 Is Church-pentation implementable in Agda? Aug 30 '18
7 Reader, Writer monads Oct 18 '10
6 How do continuations represent negations (under the Curry–Howard correspondence)? Jun 14
3 Why/when do we ever need transfinite loop variants? Sep 17 '18
1 Under what models do we know linear time sorting? May 27

Badges (8)

Gold

—

Silver

3

Rarest

Bronze

5

Rarest