gardenhead
  • Member for 7 years, 7 months
  • Last seen more than a week ago
  • New York, NY, United States
1 answers
2 votes
54 views
1 bookmarks
Expressing that a functor is natural
1 answers
7 votes
296 views
Difference between row-polymorpism and bounded polymorpishm?
0 answers
1 votes
29 views
Why can't a server provide guaranteed service with only bounded nondeterminsm?
1 answers
4 votes
442 views
1 bookmarks
Why aren't existential types implemented in any mainstream language?
0 answers
0 votes
58 views
Reference Request: Distributed Systems Systems
1 answers
5 votes
759 views
6 bookmarks
Are there any type constructors which are *not* functors?
1 answers
6 votes
55 views
When would one use equational dynamics?
2 answers
14 votes
664 views
11 bookmarks
Reference request: Category theory as it applies to type systems
2 answers
15 votes
543 views
4 bookmarks
What questions can denotational semantics answer that operational semantics can't?
2 answers
6 votes
231 views
2 bookmarks
What does Harper mean by "class"?
3 answers
27 votes
780 views
5 bookmarks
NP-complete problems not "obviously" in NP