al modelling studies the different abstraction methods of the real world. The conception and the execution of virtual worlds depend strongly of the type of conceptual models. Exis...
One of the limitations of commercially available object-oriented DBMSs is their inability to deal with objects that may change their type during their life and which exhibit a plu...
We consider the problem of adding aspects to a strongly typed language which supports type classes. We show that type classes as supported by the Glasgow Haskell Compiler can mode...
-- In the area of financial decision making it is more and more acknowledged that psychological states and characteristics play an important role, for example feeling insecure in r...
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...