1636 search results - page 242 / 328 » Type-Theoretic Functional Semantics |
122
click to vote
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract This article presents OO-HMethod, an extension of the OOMethod conceptual modelling approach to address the particulars associated with the design of web interfaces. It is...
111
click to vote
ESOP
1999
Springer
15 years 7 months ago
1999
Springer
MetaML is a multi-stage functional programming language featuring three constructs that can be viewed as statically-typed refinements of the back-quote, comma, and eval of Scheme....
133
click to vote
PEPM
1999
ACM
15 years 7 months ago
1999
ACM
Aspect-oriented programming addresses the problem that the implementation of some properties such as error handling and optimization tends to cross-cut the basic functionality. To...
122
click to vote
HT
1998
ACM
15 years 7 months ago
1998
ACM
The presentation layer of hypermedia systems could benefit from standard object querying functionality and this is most effective if strong typing is enforced. By strong typing we...
149
click to vote
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
The paper describes functionality of Magenta Multi-Agent Logistics i-Scheduler Engine presented on AAMAS 2006 conferences and gives examples of its application in business domain....