Computer Science
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger
  • Member for 10 years
  • Last seen more than a month ago
Profile Activity
Stats
8,188
reputation
156k
reached
83
answers
11
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
25
silver badges
43
bronze badges
Top tags
View all tags
153
Score
19
Posts
20
Posts %
132
Score
15
Posts
16
Posts %
128
Score
14
Posts
15
Posts %
93
Score
17
Posts
18
Posts %
87
Score
9
Posts
10
Posts %
82
Score
11
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
95
Why is deep learning hyped despite bad VC dimension?
May 13, 2017
answer
34
How is algorithm complexity modeled for functional languages?
Apr 25, 2017
answer
34
Is Category Theory useful for learning functional programming?
Jan 9, 2013
answer
25
What does 'true concurrency' mean?
May 8, 2013
answer
23
What do we gain by having "dependent types"?
Mar 3, 2015
answer
21
Why do compilers produce assembly code?
Oct 2, 2013
answer
18
Intro to Martin-Löf type theory
Sep 30, 2013
answer
16
Universes in dependent type theory
Jul 16, 2013
answer
15
Lambda calculus: difference between contexts and evaluation contexts
Mar 19, 2014
answer
15
Reference request: Category theory as it applies to type systems
Sep 28, 2016
Top network posts
View all network posts
104
What is the contribution of lambda calculus to the field of theory of computation?
47
Pragmatics of typed intermediate languages
45
P and NP classes explanation through lambda-calculus
37
Applicability of Church-Turing thesis to interactive models of computation
34
Books on programming language semantics

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.