Tour
About Us
Meta
Loading…
Log in
current community
Stack Exchange
chat
Meta Stack Exchange
your communities
Sign up
or
log in
to customize your list.
more stack exchange communities
company blog
Stack Exchange
All Sites
Top Users
Digests
Marc
Lyon, France
I'm very interested in type theory.
top
accounts
reputation
activity
bookmarks
subscriptions
Top Questions
6
votes
Is it safe to catch StackOverflowError in Java?
java
stackoverflow
stackoverflowerror
asked Feb 16 '15 at 22:54
stackoverflow.com
Top Answers
28
Shallow versus Deep Embeddings
cstheory.stackexchange.com
14
Forall introduction in coq?
stackoverflow.com
12
Translation from basic While-language to $\lambda$-calculus
cstheory.stackexchange.com
8
In System F à la Church, can we automatize type inference for the for-all elimination?
cstheory.stackexchange.com
7
Pattern matching not specialising types
stackoverflow.com
6
Using forall within recursive Function definition
stackoverflow.com
5
Is there any efficient way to convert an unary number to a binary number?
stackoverflow.com
Stack Exchange works best with JavaScript enabled
stackoverflow.com
cstheory.stackexchange.com