Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
Petr
  • Member for 9 years, 9 months
  • Last seen more than 3 years ago
Profile Activity
Stats
2,471
reputation
25k
reached
9
answers
13
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
12
silver badges
25
bronze badges
Top tags
View all tags
25
Score
9
Posts
41
Posts %
22
Score
7
Posts
32
Posts %
20
Score
5
Posts
23
Posts %
16
Score
6
Posts
27
Posts %
16
Score
4
Posts
18
Posts %
15
Score
8
Posts
36
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
47
Explaining Applicative functor in categorical terms - monoidal functors
Aug 27, 2012
question
20
Is there a concept of something like co-applicative functors sitting between comonads and functors?
Jan 27, 2013
question
18
Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)?
Oct 31, 2012
question
16
How to show that a type in a system with dependent types is not inhabited (i.e. formula not provable)?
Oct 27, 2012
question
15
A mathematical (categorical) description of type classes
Sep 6, 2012
question
12
What are the relations between Alternative, MonadPlus(LeftCatch) and MonadPlus(LeftDistributive)?
Oct 31, 2012
answer
12
Are the $\lambda_I$-Calculus and the $\lambda_K$-Calculus equivalent?
Feb 17, 2013
question
10
What are possible implementations of Haskell's type classes and what are their (dis)advantages?
Sep 6, 2012
answer
10
Is there a concept of something like co-applicative functors sitting between comonads and functors?
Apr 27, 2014
answer
9
How to implement a functional programming language efficiently?
Oct 17, 2015
Top network posts
View all network posts
254
Difference between Arrays.asList(array) and new ArrayList<Integer>(Arrays.asList(array))
99
Way to check if two Collections contain the same elements, independent of order?
96
What's the difference between Unit and Nothing?
87
What's the difference between "adduser" and "useradd"?
85
Could a "living planet" alter its own trajectory only by changing its shape?

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.