3583 search results - page 50 / 717 » A Type System for the Relational Calculus of Object Systems |
PLDI
1989
ACM
14 years 26 days ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
DAIS
2001
13 years 10 months ago
2001
In this paper we present some of the results achieved while realizing an international research project aiming at the design and development of an Object
ERSHOV
2003
Springer
14 years 2 months ago
2003
Springer
Storage costs are rapidly decreasing, making it feasible to store larger amounts of data in databases. This also makes it possible to store previous versions of data in the databa...
LICS
1999
IEEE
14 years 1 months ago
1999
IEEE
Pitts and Stark have proposed the -calculus as a language for investigating the interaction of unique name generation and higher-order functions. They developed a sound model base...
VLDB
2000
ACM
14 years 12 days ago
2000
ACM
