44 search results - page 1 / 9 » Parametric Types for Typed Attribute-Value Logic |
ACL
1998
14 years 16 days ago
1998
SEBD
2007
14 years 17 days ago
2007
Research on data integration has provided languages and systems able to guarantee an integrated intensional representation of a given set of data sources. A significant limitation...
TYPES
2007
Springer
14 years 5 months ago
2007
Springer
BIRTHDAY
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
FLOPS
1999
Springer
14 years 3 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...