Computer Science
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel's user avatar
Dan Doel
  • Member for 4 years, 6 months
  • Last seen this week
  • Boston, MA, USA
Profile Activity
Stats
2,229
reputation
13k
reached
52
answers
0
questions
Communities
View all
Badges
View all badges
1
gold badge
7
silver badges
12
bronze badges
Top tags
View all tags
96
Score
26
Posts
50
Posts %
37
Score
7
Posts
13
Posts %
34
Score
10
Posts
19
Posts %
33
Score
9
Posts
17
Posts %
32
Score
9
Posts
17
Posts %
29
Score
7
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
14
Monad in Haskell programming vs. Monad in category theory
Nov 2, 2020
answer
12
What does canonicity property mean in Type Theory?
Aug 22, 2019
answer
7
Flawed argument in the proof of function extensionality in cubical type theory?
Sep 8, 2018
answer
6
Are Bad churches inhabited?
Oct 13, 2018
answer
6
How to prove that the Church encoding, forall r. (F r -> r) -> r, gives an initial algebra of the functor F?
Nov 4, 2020
answer
5
Relationship between Higher Kinded Polymorphism, type inference, and Currying
Sep 1, 2018
answer
5
Stablishing termination of the construction of infinite stream with ranking functions
Sep 11, 2018
answer
5
How exactly do we define parametric polymorphism?
Mar 3, 2019
answer
5
What is the difference between $ \alpha \to \alpha $ vs $ \forall \alpha. \alpha \to \alpha$?
Oct 26, 2019
answer
4
liskov substitution principle seems to have two conventional meanings
Sep 13, 2018
Top network posts
View all network posts
17
Is "all categorical reasoning formally contradictory"?
13
Does this show that equality (set theoretically) does not necessarily imply isomorphic (categorically)?
12
What are well-founded inductive types?
10
Is Church-pentation implementable in Agda?
8
How do continuations represent negations (under the Curry–Howard correspondence)?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.