2036 search results - page 17 / 408 » A generic type-and-effect system |
HASKELL
2009
ACM
14 years 2 months ago
2009
ACM
Data-type generic programming can be used to traverse and manipulate specific parts of large heterogeneously-typed tree structures, without the need for tedious boilerplate. Gene...
ECOOP
2007
Springer
14 years 1 months ago
2007
Springer
Ownership is a powerful concept to structure the object store and to control aliasing and modifications of objects. This paper presents an ownership type system for a Javalike pr...
WSCG
2001
13 years 9 months ago
2001
This paper tests the hypothesis that it is possible to build a generic Behavioural Animation system. The paper outlines the four models that form the key elements of a Behavioural...
ICMAS
1998
13 years 9 months ago
1998
This paper presents a generic architecture for an agent capable of designing and creating new agents. The design agent itself is based on an existing generic agent model, and inclu...
IFL
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. Generic programming enables the programmer to define functions by induction on the structure of types. Defined once, such a generic function can be used to generate a s...