2036 search results - page 134 / 408 » A generic type-and-effect system |
97
Voted
BIRTHDAY
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We claim that user preferences are a key component of effective Web service composition, and one that has largely been ignored. In this paper we propose a means of speci...
102
Voted
CBSE
2007
Springer
15 years 7 months ago
2007
Springer
Binary component-based software updates that are efficient, safe and generic still remain a challenge. Most existing deployment systems that achieve this goal have to control the c...
96
Voted
SOCO
2005
Springer
15 years 6 months ago
2005
Springer
Compared to other languages, the C++ language offers a less powerful runtime type system, but a very powerful static type system. In AspectC++, this is addressed by an extended joi...
91
Voted
POPL
1991
ACM
15 years 4 months ago
1991
ACM
We present a new approach to the polymorphic typing of data accepting in-place modification in ML-like languages. This approach is based on restrictions over type generalization,...
83
Voted
ACL
2001
15 years 2 months ago
2001
The RAGS proposals for generic specification of NLG systems includes a detailed account of data representation, but only an outline view of processing aspects. In this paper we in...