3319 search results - page 71 / 664 » Type Theoretical Databases |
106
click to vote
SAC
2009
ACM
15 years 2 months ago
2009
ACM
The Semantic Web and its technologies become increasingly important. As more and more Semantic Web applications are being used, developing more stable Semantic Web applications be...
102
click to vote
TLCA
2009
Springer
15 years 4 months ago
2009
Springer
We show that, in a parametric model of polymorphism, the type ∀α.((α → α) → α) → (α → α → α) → α is isomorphic to closed n terms. That is, the type of closed ...
TCS
1998
14 years 9 months ago
1998
We show that unary PCF, a very small fragment of Plotkin’s PCF [?], cidable observational pre-order, and that its fully abstract model is effectively presentable. This is in ma...
LICS
2009
IEEE
15 years 4 months ago
2009
IEEE
The search for an expressive calculus of datatypes in which canonical algorithms can be easily written and proven correct has proved to be an enduring challenge to the theoretical ...
EFDBS
2001
14 years 11 months ago
2001
The existing standard for object-oriented databases (ODMG) provides no facility for storing behaviour. This lack of stored behaviour introduces problems for generic applications as...