Computer Science
user avatar
user avatar
user avatar
user3368561
  • Member for 6 years, 3 months
  • Last seen more than 2 years ago
Profile Activity
Stats
475
reputation
3k
reached
0
answers
12
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
3
silver badges
9
bronze badges
Top tags
View all tags
0
Score
4
Posts
33
Posts %
0
Score
3
Posts
25
Posts %
0
Score
2
Posts
17
Posts %
0
Score
2
Posts
17
Posts %
0
Score
1
Posts
8
Posts %
0
Score
1
Posts
8
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
question
8
Total functional programming language without an static type checker
Nov 9, 2016
question
6
Lazy concatenative functional language
Nov 9, 2016
question
5
Pure type systems and let-expressions
Jul 2, 2018
question
5
Why 'let' can not be reduce to a lambda application in (extended) Calculus of Constructions
Apr 2, 2019
question
3
Total functional computable real numbers
May 18, 2017
question
2
Is the lambda calculus referentially transparent?
May 28, 2017
question
2
Can an (extended) regular grammar have multiple nonterminals in its RHS?
May 10, 2016
question
2
Does this progressive image compression exists?
Jul 2, 2018
question
2
What are the implications of Lean not having the type `Set`?
Jul 12, 2018
question
1
Combinatory logic equivalent to System F
Jun 6, 2018
Top network posts
View all network posts
29
Is it possible to build an air compressor with no moving parts?
23
How do I plan a long range product with microcontroller that needs long term support?
19
Laptop CPU+GPU overheating after update to 18.04 LTS
15
How were scientific illustrations made before the spread of digital computers?
14
Why are lasers used for concentrated light applications instead of incoherent light sources?

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.