439 search results - page 47 / 88 » Type invariants for Haskell |
TC
2011
13 years 2 months ago
2011
—This paper considers the problem of dividing a two-word integer by a single-word integer, together with a few extensions and applications. Due to lack of efficient division ins...
ECOOP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Generic types in C behave invariantly with respect to subtyping. We propose a system of type-safe variance for C that supports the declaration of covariant and contravari...
SCP
2008
13 years 7 months ago
2008
An unpublished algorithm of Haldar and Vidyasankar implements an atomic variable of an arbitrary type T for one writer and one reader by means of 4 unsafe variables of type T , th...
ICDAR
2011
IEEE
12 years 7 months ago
2011
IEEE
—Questioned Document Examination processes often encompass analysis of torn documents. To aid a forensic expert, automatic classification of content type in torn documents might ...
ICETET
2009
IEEE
13 years 5 months ago
2009
IEEE
A completely automatic face recognition system is presented. The method works on color face images and localizes the face region from them initially. It then determines and select...