As of May 31, 2023, we have updated our Code of Conduct.
Theoretical Computer Science
winitzki's user avatar
winitzki's user avatar
winitzki's user avatar
winitzki
  • Member for 7 years
  • Last seen this week
Profile Activity
Stats
201
reputation
4k
reached
10
answers
2
questions
Communities
View all
About

Software developer, Scientist, Mathematician, Musician.

Badges
This user doesn’t have any gold badges yet.
1
silver badge
7
bronze badges
Top tags
View all tags
5
Score
8
Posts
67
Posts %
4
Score
5
Posts
42
Posts %
2
Score
7
Posts
58
Posts %
2
Score
4
Posts
33
Posts %
2
Score
2
Posts
17
Posts %
2
Score
2
Posts
17
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
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
answer
1
Isomorphism between algebraic data-types
Nov 2, 2022
answer
1
Explaining monad transformers in categorical terms
May 18, 2021
answer
1
Can we use relational parametricity to simplify the type $\forall a. ( (a \to r) \to r ) \to (a \to r) \to r$?
Sep 29, 2022
answer
1
Uses of algebraic structures in theoretical computer science
Feb 22
answer
1
What is the relation of parametricity and function extensionality?
Feb 28
answer
1
A mathematical (categorical) description of type classes
Mar 10
answer
1
Kleisli-like category for applicatives?
Apr 17
answer
0
How can relational parametricity be motivated?
Sep 29, 2022
answer
0
Can we use relational parametricity to simplify the type $\forall a.\,((a\to r)\to a)\to a$ and similar types?
Oct 6, 2022
Top network posts
View all network posts
67
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
18
Is this property of a functor stronger than a monad?

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.