Computer Science
user3368561
  • Member for 5 years, 4 months
Profile Activity
Stats
475
reputation
2k
reached
0
answers
12
questions
About
Apparently, this user prefers to keep an air of mystery about them.

Communities (23)

Top network posts

This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
View all badges

Top tags (19)

Score 0
Posts 4
Posts % 33
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 (12)

All Questions Answers
Votes Newest
8 Total functional programming language without an static type checker Nov 9 '16
6 Lazy concatenative functional language Nov 9 '16
5 Why 'let' can not be reduce to a lambda application in (extended) Calculus of Constructions Apr 2 '19
5 Pure type systems and let-expressions Jul 2 '18
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 →

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.