171 search results - page 35 / 35 » Logical omniscience and common knowledge: WHAT do we know an... |
PLPV
2010
ACM
14 years 2 months ago
2010
ACM
Singleton types are often considered a poor man’s substitute for dependent types. But their generalization in the form of GADTs has found quite a following. The main advantage o...