596 search results - page 86 / 120 » Subtyping Recursive Types |
224
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper proposes a lightweight fusion method for general recursive function definitions. Compared with existing proposals, our method has several significant practical features...
123
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
121
click to vote
WWW
2005
ACM
16 years 2 months ago
2005
ACM
On an abstract level, XML Schema increases the limited expressive power of Document Type Definitions (DTDs) by extending them with a recursive typing mechanism. However, an invest...
110
click to vote
SEMWEB
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
114
click to vote
ICMCS
2005
IEEE
15 years 7 months ago
2005
IEEE
Since multimedia information is characterized by motley types of media with different properties, multimedia content retrieval in digital libraries requires dynamic reconfigurable...