Skip to main content
Theoretical Computer Science
winitzki's user avatar
winitzki's user avatar
winitzki's user avatar
winitzki
  • Member for 8 years, 1 month
  • Last seen this week
Profile Activity
Stats
542
reputation
6k
reached
19
answers
7
questions
Communities
View all
About

Software engineer, Scientist, Mathematician, Musician.

Badges
View all badges
This user doesn’t have any gold badges yet.
2
silver badges
9
bronze badges
Top tags
View all tags
14
Score
14
Posts
54
Posts %
11
Score
6
Posts
23
Posts %
8
Score
14
Posts
54
Posts %
6
Score
16
Posts
62
Posts %
6
Score
7
Posts
27
Posts %
3
Score
10
Posts
38
Posts %
Top posts
View all questions and answers
5
A monad law about bind and function composition
Apr 25
4
Is the encoding of existential types in System F adequate?
Jun 3
3
How to prove that $\exists A. ~ A \times (A\to F~ A)$ encodes the greatest fixpoint of $F$?
Jun 3
3
Can we use relational parametricity to simplify the type $\forall a. ( (a \to r) \to r ) \to (a \to r) \to r$?
Sep 27, 2022
3
Can we use relational parametricity to simplify the type $\forall a. ( (a \to a) \to a ) \to a$?
Feb 2
3
Is is true that every monad transformer is equivalent to its underlying/base monad?
Sep 6, 2023
2
A mathematical (categorical) description of type classes
Mar 10, 2023
2
How to encode a function from an existential type
Apr 1
2
Can we use relational parametricity to simplify the type $\forall a.\,((a\to r)\to a)\to a$ and similar types?
Sep 29, 2022
2
Explaining monad transformers in categorical terms
May 18, 2021
Top network posts
View all network posts
68
Difference between declare-styleable and style
28
Is this property of a functor stronger than a monad?
20
Change MacOS X guest screen resolution for VirtualBox
19
Change User Agent in UIWebView
19
Is this property of a functor stronger than a monad?