1103 search results - page 3 / 221 » The Relevance of Semantic Subtyping |
CSL
1999
Springer
13 years 10 months ago
1999
Springer
This paper gives the first proof that the subtyping relation of a higherorder lambda calculus, Fω ≤, is anti-symmetric, establishing in the process that the subtyping relation...
CALCO
2007
Springer
14 years 20 days ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
MST
2008
13 years 6 months ago
2008
Subtyping in first order object calculi is studied with respect to the logical semantics obtained by identifying terms that satisfy the same set of predicates, as formalised throu...
ICTCS
2005
Springer
14 years 1 hour ago
2005
Springer
Abstract. We consider a call-by-value language, with higher-order functions, records, references to values of arbitrary type, and subtyping. We adapt an intrinsic denotational mode...
ICTCS
2005
Springer
14 years 1 hour ago
2005
Springer