ENTCS
2002
14 years 8 days ago
2002
This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of
PLPV
2010
ACM
14 years 9 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...