Theoretical Computer Science
Petr's user avatar
Petr's user avatar
Petr's user avatar
Petr
  • Member for 10 years, 1 month
  • Last seen more than 3 years ago
Profile Activity
Stats
2,481
reputation
26k
reached
9
answers
13
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
26
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
21
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
255
Difference between Arrays.asList(array) and new ArrayList<Integer>(Arrays.asList(array))
100
Way to check if two Collections contain the same elements, independent of order?
98
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.