Skip to main content
gardenhead's user avatar
gardenhead's user avatar
gardenhead's user avatar
gardenhead
  • Member for 10 years
  • Last seen more than 1 year ago
  • New York, NY, United States
27 votes
3 answers
846 views

NP-complete problems not "obviously" in NP

17 votes
2 answers
706 views

What questions can denotational semantics answer that operational semantics can't?

14 votes
2 answers
767 views

Reference request: Category theory as it applies to type systems

7 votes
1 answer
363 views

Difference between row-polymorpism and bounded polymorpishm?

6 votes
1 answer
64 views

When would one use equational dynamics?

6 votes
1 answer
914 views

Are there any type constructors which are *not* functors?

6 votes
2 answers
254 views

What does Harper mean by "class"?

5 votes
1 answer
523 views

Why aren't existential types implemented in any mainstream language?

2 votes
1 answer
62 views

Expressing that a functor is natural

1 vote
0 answers
29 views

Why can't a server provide guaranteed service with only bounded nondeterminsm?

0 votes
0 answers
61 views

Reference Request: Distributed Systems Systems