Theoretical Computer Science
Meta user
Network profile
421
reputation
4
6

Dan Doel

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

7
answers
0
questions
~4k
people reached
  • Boston, MA, USA
  • Member for 9 years
  • 76 profile views
  • Last seen 32 mins ago

Communities (5)

Top network posts

Top tags (19)

Score 18
Posts 3
Posts % 43
Score 15
Posts 2
Score 12
Posts 3
Score 10
Posts 3
Score 8
Posts 2
Score 8
Posts 1
View all tags →

Top posts (7) All Questions Answers | Votes Newest

8 Is Church-pentation implementable in Agda? Aug 30 '18
7 How do continuations represent negations (under the Curry–Howard correspondence)? Jun 14
7 Reader, Writer monads Oct 18 '10
3 Why/when do we ever need transfinite loop variants? Sep 17 '18
2 Can Non-termination be considered an algebraic effect? Sep 18
1 What category are Tagless Final Algebras final In? Sep 21
1 Under what models do we know linear time sorting? May 27

Badges (10)

Gold

—

Silver

4

Rarest

Bronze

6

Rarest

View all badges →