1982 search results - page 65 / 397 » Parametricity and dependent types |
121
click to vote
FROCOS
2011
Springer
13 years 9 months ago
2011
Springer
Many functional programs and higher order term rewrite systems contain, besides higher order rules, also a significant first order part. We discuss how an automatic termination p...
160
click to vote
ICDE
1995
IEEE
15 years 11 months ago
1995
IEEE
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
101
click to vote
SAC
2008
ACM
14 years 9 months ago
2008
ACM
We present a way to add user's background knowledge to formal concept analysis. The type of background knowledge we deal with relates to relative importance of attributes in ...
DEXA
2009
Springer
15 years 4 months ago
2009
Springer
In this article we define a new type of integrity constraint in XML, called an XML inclusion constraint (XIND), and show that it extends the semantics of a relational inclusion de...