251 search results - page 4 / 51 » Pure Type Systems without Explicit Contexts |
IWMM
1992
Springer
13 years 11 months ago
1992
Springer
A purely functional le system has been built on top of pure Scheme. It provides persistent structures and massive storage expected of le systems, without explicit side-e ects like ...
FMCO
2007
Springer
14 years 1 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...
CSCWD
2004
Springer
14 years 1 months ago
2004
Springer
The concept of context can be advantageously applied to the Computer-Supported Cooperative Work field. The term awareness has traditionally been used in this area without explicit ...
DEDUCTIVE
1997
13 years 9 months ago
1997
We present a query language, called the Datalog++ , for deductive object-oriented databases. While a direct semantics for inheritance with overriding and encapsulation is desirabl...
SYNTHESE
2011
13 years 2 months ago
2011
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...