Computer Science
user3368561
  • Member for 5 years, 8 months
  • Last seen more than 2 years ago
Profile Activity
Stats
475
reputation
2k
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
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
Top network posts
View all network posts
28
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.