Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Computer Science
Network profile
280
reputation
2
9

user3368561

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

0
answers
14
questions
~2k
people reached
  • Member for 3 years, 1 month
  • 12 profile views
  • Last seen May 28 at 21:55

Communities (23)

Top network posts

Top tags (22)

Score 0
Posts 4
Posts % 29
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
View all tags →

Top posts (14) All Questions Answers | Votes Newest

8 Total functional programming language without an static type checker Nov 9 '16
5 Pure type systems and let-expressions Jul 2 '18
5 Lazy concatenative functional language Nov 9 '16
4 Why 'let' can not be reduce to a lambda application in (extended) Calculus of Constructions Apr 2
3 Total functional computable real numbers May 18 '17
2 What are the implications of Lean not having the type `Set`? Jul 12 '18
2 Does this progressive image compression exists? Jul 2 '18
2 Is the lambda calculus referentially transparent? May 28 '17
2 Can an (extended) regular grammar have multiple nonterminals in its RHS? May 10 '16
1 Combinatory logic equivalent to System F Jun 6 '18
View all questions and answers →

Badges (11)

Gold

—

Silver

2

Rarest

Bronze

9

Rarest