gardenhead
  • Member for 7 years, 8 months
  • Last seen more than a month ago
  • New York, NY, United States
1 answers
2 votes
55 views
1 bookmarks
Expressing that a functor is natural
1 answers
7 votes
300 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
446 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
761 views
6 bookmarks
Are there any type constructors which are *not* functors?
1 answers
6 votes
57 views
When would one use equational dynamics?
2 answers
14 votes
666 views
11 bookmarks
Reference request: Category theory as it applies to type systems
2 answers
15 votes
547 views
4 bookmarks
What questions can denotational semantics answer that operational semantics can't?
2 answers
6 votes
232 views
2 bookmarks
What does Harper mean by "class"?
3 answers
27 votes
783 views
5 bookmarks
NP-complete problems not "obviously" in NP