Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
Marc
  • Member for 11 years, 9 months
  • Last seen more than 2 years ago
  • Lyon, France
Profile Activity
Stats
636
reputation
7k
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
29
Score
1
Posts
33
Posts %
29
Score
1
Posts
33
Posts %
29
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
All Questions Answers
Score Newest
answer
29
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
Is it safe to catch StackOverflowError in Java?
6
Using forall within recursive Function definition
5
Is there any efficient way to convert an unary number to a binary number?

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.