251 search results - page 10 / 51 » Pure Type Systems without Explicit Contexts |
POPL
2004
ACM
14 years 8 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
NOMS
2006
IEEE
14 years 1 months ago
2006
IEEE
—The trends for pushing more operational intelligence towards network elements to achieve more context-aware and self-managing behavior often requires elements to gather network ...
DSS
2007
13 years 7 months ago
2007
The context concept can be used with advantage in the area of Computer-Supported Cooperative Work. In many studies, several forms of context have been used without explicit associ...
TREC
2004
13 years 9 months ago
2004
While participating in the HARD track our first question was, what an IR-application should look like that takes into account preference meta-data from the user, without the need ...
ECOOP
2005
Springer
14 years 1 months ago
2005
Springer
Object-oriented scripting languages like JavaScript and Python are popular partly because of their dynamic features. These include the runtime modification of objects and classes ...