13734 search results - page 216 / 2747 » Abstractions of data types |
131
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. With the increasing popularity of collaborative tagging systems, services that assist the user in the task of tagging, such as tag recommenders, are more and more require...
135
click to vote
APLAS
2006
ACM
15 years 10 months ago
2006
ACM
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order func...
134
click to vote
POPL
1995
ACM
15 years 8 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
141
click to vote
APLAS
2010
ACM
15 years 4 months ago
2010
ACM
Abstract. The type system of Objective Caml has many unique features, which make ensuring the correctness of its implementation difficult. One of these features is structurally pol...
122
click to vote
ECCTD
2011
14 years 4 months ago
2011
Abstract—The design of integrated circuits involves the consideration of a large number of constraints of various types. In addition to the definition of these constraints in a ...