Computer Science
gardenhead's user avatar
gardenhead's user avatar
gardenhead's user avatar
gardenhead
  • Member for 9 years, 4 months
  • Last seen more than a month ago
  • New York, NY, United States
Profile Activity

11 Questions

Score Activity Newest Views
27 votes
3 answers
830 views

NP-complete problems not "obviously" in NP

17 votes
2 answers
657 views

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

14 votes
2 answers
722 views

Reference request: Category theory as it applies to type systems

7 votes
1 answer
335 views

Difference between row-polymorpism and bounded polymorpishm?

6 votes
1 answer
61 views

When would one use equational dynamics?

6 votes
2 answers
249 views

What does Harper mean by "class"?

5 votes
1 answer
499 views

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

5 votes
1 answer
854 views

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

2 votes
1 answer
61 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
59 views

Reference Request: Distributed Systems Systems

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.