Theoretical Computer Science
Profile Activity
Meta user
Network profile
511
reputation
4
6

Dan Doel

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

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

Communities (5)

Top network posts

Top tags (24)

Score 19
Posts 3
Posts % 33
Score 17
Posts 3
Score 13
Posts 4
Score 10
Posts 3
Score 9
Posts 1
Score 9
Posts 1
View all tags →

Top posts (9)

All Questions Answers
Votes Newest
9 Is Church-pentation implementable in Agda? Aug 30 '18
7 Reader, Writer monads Oct 18 '10
7 How do continuations represent negations (under the Curry–Howard correspondence)? Jun 14 '19
4 Is the Mendler-encoding in System-F adequate? Mar 2
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 Intuition behind nested positivity and counterexamples Jan 6
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 →