3 search results - page 1 / 1 » The RISE System: Conquering without Separating |
ICTAI
1994
IEEE
13 years 9 months ago
1994
IEEE
POS
1994
Springer
13 years 9 months ago
1994
Springer
We consider some issues in optimizing persistent programming languages. In particular, we show how to express optimizations of object residency checks in strongly typed persistent...
ENTCS
2002
13 years 5 months ago
2002
In the quest for an elegant formulation of the notion of "polycategory" we develop a more symmetric counterpart to Burroni's notion of "T-category", where ...