Theoretical Computer Science
Profile Activity
Meta user
Network profile
411
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, 9 months
  • 91 profile views
  • Last seen Jun 11 at 1:59

Communities (5)

Top network posts

Top tags (19)

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

Top posts (7)

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

Badges (10)

Gold

—

Silver

4

Rarest

Bronze

6

Rarest

View all badges →