4205 search results - page 286 / 841 » Typed Mobile Objects |
164
click to vote
ML
2006
ACM
16 years 14 days ago
2006
ACM
We present a new way to generate type-error messages in a polymorphic, implicitly, and strongly typed language (specifically Caml). Our method separates error-message generation ...
175
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...
151
click to vote
HASKELL
2006
ACM
16 years 15 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...
169
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...
198
click to vote
CVPR
2010
IEEE
16 years 3 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...