2596 search results - page 154 / 520 » Gradual Typing for Objects |
171
click to vote
SIGPLAN
2002
15 years 6 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...
150
click to vote
HASKELL
2006
ACM
16 years 11 days 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...
165
click to vote
IJDMB
2006
15 years 6 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...
194
click to vote
CVPR
2010
IEEE
16 years 2 months 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...
180
click to vote
WCRE
2008
IEEE
16 years 24 days 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...