5536 search results - page 171 / 1108 » Programming Languages for Distributed Applications |
155
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
Focusing on examples of knowledge systems and machine learning, this paper illustrates the transfer of AI technology from science to real-world applications. Decades of AI researc...
171
click to vote
ECOOP
1994
Springer
15 years 10 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
161
click to vote
POPL
1995
ACM
15 years 10 months ago
1995
ACM
We present a variant of the Standard ML module system rameterized abstract types (i.e. functors returning generative types) map provably equal arguments to compattract types, inst...
159
click to vote
ECOOP
2007
Springer
16 years 16 days ago
2007
Springer
When an application retrieves serialized objects for which the class has changed, it may have to cope with modifications of the semantics. While there are numerous ways to handle t...
149
click to vote
PADL
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In this paper, we present a type system for typing Web applications in SMLserver, an efficient multi-threaded Web server platform for Standard ML scriptlets. The type sys...