68 search results - page 1 / 14 » Strong Normalization with Singleton Types |
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...
TCS
2008
13 years 4 months ago
2008
We introduce a new unification procedure for the type inference problem in the intersection type discipline. It is well known that type inference in this case should succeed exact...
TYPES
1993
Springer
13 years 8 months ago
1993
Springer
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...