2010 search results - page 13 / 402 » On Object Extension |
HASKELL
2006
ACM
14 years 1 months ago
2006
ACM
In this paper we address the lack of extensibility of the exception type in Haskell. We propose a lightweight solution involving the use of existential types and the Typeable clas...
LOPSTR
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. A formal and effective approach to the extension of the computational behaviour of logic programs is presented. The approach builds upon the following concepts. The exte...
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— This paper builds on previous work on optimal methodologies for the design of numerical subsystems for non-linear, uncertain hardware-in-the-loop (HWIL) simulators. Firstly, th...
CGVR
2006
13 years 9 months ago
2006
- This paper describes our design and implementations of projector-based computer augmented environment that allows users to interchange digital information between a computer and ...
SOSP
1993
ACM
13 years 8 months ago
1993
ACM
Research can rarely be performed on large-scale, distributed systems at the level of thousands of workstations. In this paper, we describe the motivating constraints, design princ...