Computer Science
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger's user avatar
Martin Berger
  • Member for 11 years
  • Last seen more than a month ago
Profile Activity
Stats
8,308
reputation
165k
reached
83
answers
12
questions
Communities
View all
Badges
View all badges
This user doesn’t have any gold badges yet.
27
silver badges
45
bronze badges
Top tags
View all tags
153
Score
19
Posts
20
Posts %
135
Score
15
Posts
16
Posts %
131
Score
14
Posts
15
Posts %
97
Score
18
Posts
19
Posts %
87
Score
9
Posts
9
Posts %
84
Score
11
Posts
12
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
96
Why is deep learning hyped despite bad VC dimension?
May 13, 2017
answer
36
Is Category Theory useful for learning functional programming?
Jan 9, 2013
answer
34
How is algorithm complexity modeled for functional languages?
Apr 25, 2017
answer
26
What does 'true concurrency' mean?
May 8, 2013
answer
22
What do we gain by having "dependent types"?
Mar 3, 2015
answer
21
Why do compilers produce assembly code?
Oct 2, 2013
answer
19
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
105
What is the contribution of lambda calculus to the field of theory of computation?
58
Pragmatics of typed intermediate languages
48
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.