18429 search results - page 170 / 3686 » Typing dynamic typing |
114
Voted
MSCS
2010
15 years 3 months ago
2010
tations of imperative abstract data types.
142
click to vote
COORDINATION
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
148
click to vote
EJC
2011
15 years 2 days ago
2011
Noncrossing set partitions, nonnesting set partitions, Dyck paths, and rooted plane trees are four classes of Catalan objects which carry a notion of type. There exists a product f...
106
click to vote
POPL
2012
ACM
14 years 20 days ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
238
click to vote
ICDE
1999
IEEE
16 years 6 months ago
1999
IEEE
Similarity searching in text databases with multiple field types is still an open problem. We experimented with CORDIS and we evaluated the effectiveness of many text retrieval me...