Episode #125 of the Stack Overflow podcast is here. We talk Tilde Club and mechanical keyboards. Listen now
Theoretical Computer Science
Meta user
Network profile
626
reputation
4
6

Marc

I'm very interested in type theory.

3
answers
0
questions
~5k
people reached
  • Lyon, France
  • Member for 9 years, 1 month
  • 101 profile views
  • Last seen Jul 9 at 12:43

Communities (11)

Top network posts

Top tags (8)

Score 28
Posts 1
Posts % 33
Score 28
Posts 1
Score 28
Posts 1
Score 12
Posts 1
Score 12
Posts 1
Score 8
Posts 1
View all tags →

Top posts (3) All Questions Answers | Votes Newest

28 Shallow versus Deep Embeddings Sep 16 '10
12 Translation from basic While-language to $\lambda$-calculus May 19 '11
8 In System F à la Church, can we automatize type inference for the for-all elimination? Sep 16 '10

Badges (10)

Gold

—

Silver

4

Rarest

Bronze

6

Rarest

View all badges →