2596 search results - page 154 / 520 » Gradual Typing for Objects |
134
click to vote
SIGPLAN
2002
15 years 3 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
121
click to vote
HASKELL
2006
ACM
15 years 9 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...
132
Voted
IJDMB
2006
15 years 3 months ago
2006
: Biomedical data sets often have mixed categorical and numerical types, where the former represent semantic information on the objects and the latter represent experimental result...
145
Voted
CVPR
2010
IEEE
16 years 8 days ago
2010
IEEE
Classification of images in many category datasets has
rapidly improved in recent years. However, systems that
perform well on particular datasets typically have one or
more lim...
150
click to vote
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Modern software has to evolve to meet the needs of stakeholders; but the nature and scope of this evolution is difficult to anticipate and manage. In this paper, we examine techn...