22 search results - page 1 / 5 » Singleton types here, singleton types there, singleton types... |
PLPV
2010
ACM
14 years 1 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...
ENTCS
2002
13 years 4 months ago
2002
This paper presents a new lambda-calculus with singleton types, called {}. The main novelty of
CORR
2011
Springer
12 years 8 months ago
2011
Springer
We define a logical framework with singleton types and one universe of small types. We give the semantics using a PER model; it is used for constructing a normalisation-by-evaluat...
DM
2011
12 years 11 months ago
2011
We show that the joint distribution of the number of singleton pairs and the number of adjacency pairs is symmetric over the set partitions of type Bn without zero-block, in analo...
TIC
2000
Springer
13 years 8 months ago
2000
Springer
Singleton kinds provide an elegant device for expressing type equality information resulting from modern module languages, but they can severely complicate the metatheory of langu...