Skip to main content
Theoretical Computer Science
Marc's user avatar
Marc's user avatar
Marc's user avatar
Marc
  • Member for 14 years, 3 months
  • Last seen more than 5 years ago
  • Lyon, France
Profile Activity
Stats
646
reputation
8k
reached
3
answers
0
questions
Communities
View all
About

I'm very interested in type theory.

Badges
View all badges
This user doesn’t have any gold badges yet.
4
silver badges
6
bronze badges
Top tags
View all tags
30
Score
1
Posts
33
Posts %
30
Score
1
Posts
33
Posts %
30
Score
1
Posts
33
Posts %
12
Score
1
Posts
33
Posts %
12
Score
1
Posts
33
Posts %
8
Score
1
Posts
33
Posts %
Top posts
answer
30
Shallow versus Deep Embeddings
Sep 16, 2010
answer
12
Translation from basic While-language to $\lambda$-calculus
May 19, 2011
answer
8
In System F à la Church, can we automatize type inference for the for-all elimination?
Sep 16, 2010
Top network posts
View all network posts
14
Forall introduction in coq?
7
Pattern matching not specialising types
6
Using forall within recursive Function definition
6
Is it safe to catch StackOverflowError in Java?
6
Is the sub-field of algebraic elements of a field extension of $K$ containing roots of polynomials over $K$ algebraically closed?