LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
A subtyping 0 is entailed by a set of subtyping constraints C, written C j= 0, if every valuation (mapping of type variables to ground types) that satisfies C also satisfies 0. ...
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
The partial real line is the continuous domain of compact real intervals ordered by reverse inclusion. The idea is that singleton intervals represent total real numbers, and that ...
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
Abstract. We prove that ground reducibility is EXPTIME-complete in the general case. EXPTIME-hardness is proved by encoding the emptiness problem for the intersection of recognizab...
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE
LICS
1997
IEEE
14 years 3 months ago
1997
IEEE