Theoretical Computer Science
Profile Activity
Network profile
2,351
reputation
11
23

Petr

Apparently, this user prefers to keep an air of mystery about them.

9
answers
13
questions
~22k
people reached
  • Germany
  • ppetr
  • Member for 8 years, 5 months
  • 120 profile views
  • Last seen Oct 19 '18 at 15:07

Communities (70)

Top network posts

Top tags (26)

Score 25
Posts 9
Posts % 41
Score 20
Posts 7
Score 20
Posts 5
Score 15
Posts 8
Score 14
Posts 6
Score 14
Posts 4
View all tags →

Top posts (22)

All Questions Answers
Votes Newest
46 Explaining Applicative functor in categorical terms - monoidal functors Aug 27 '12
18 Is it possible to decide $\beta$-equivalence within System F (or another normalizing typed λ-calculus)? Oct 31 '12
17 Is there a concept of something like co-applicative functors sitting between comonads and functors? Jan 27 '13
15 How to show that a type in a system with dependent types is not inhabited (i.e. formula not provable)? Oct 27 '12
14 A mathematical (categorical) description of type classes Sep 6 '12
12 What are the relations between Alternative, MonadPlus(LeftCatch) and MonadPlus(LeftDistributive)? Oct 31 '12
10 Are the $\lambda_I$-Calculus and the $\lambda_K$-Calculus equivalent? Feb 17 '13
9 What are possible implementations of Haskell's type classes and what are their (dis)advantages? Sep 6 '12
9 A simple proof that decidability of typability in System F ($\lambda 2$) implies decidability of type checking? Nov 18 '12
9 How to implement a functional programming language efficiently? Oct 17 '15
View all questions and answers →

Badges (34)

Gold

—

Silver

11

Rarest

Bronze

23

Rarest

View all badges →