1982 search results - page 366 / 397 » Parametricity and dependent types |
IPPS
2003
IEEE
15 years 3 months ago
2003
IEEE
A software framework for the parallel execution of sequential programs using C++ classes is presented. The functional language Concurrent ML is used to implement the underlying ha...
VRML
2003
ACM
15 years 3 months ago
2003
ACM
Success of 3D applications on the Web inherently depends on object behavior and interaction. Current Web3D formats often fall short in supporting behavior modeling. This paper int...
BTW
2003
Springer
15 years 3 months ago
2003
Springer
: In most commercial enterprises, information is scattered across a large number of (legacy) data stores. Moreover, it is nearly impossible to obtain funding to replace these data ...
GECCO
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Most modern real-time strategy computer games have a sophisticated but fixed ‘AI’ component that controls the computer’s actions. Once the user has learned how suc...
ICCS
2003
Springer
15 years 3 months ago
2003
Springer
Object oriented languages, in particular Java, use a frequent dynamic dispatch mechanism to search for the definition of an invoked method. A method could be defined in more than...