53 search results - page 2 / 11 » Objective ML: An Effective Object-Oriented Extension to ML |
RULEML
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Rule Responder is an intelligent multi-agent system for collaborative teams and virtual communities that uses RuleML as its rule interchange format. The system allows the...
TACS
1994
Springer
13 years 9 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
COMPSAC
1999
IEEE
13 years 9 months ago
1999
IEEE
Design patterns have been used in object-oriented frameworks such as the IBM San Francisco framework, Apple's Rhaspody, OpenStep, and WebObjects, and DIWB. However, few guide...
TLCA
1995
Springer
13 years 8 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
FPCA
1991
13 years 8 months ago
1991
Objects with dynamic types allow the integration of operations that essentially require runtime type-checking into statically-typed languages. This article presents two extensions...