1828 search results - page 26 / 366 » First-Class Type Classes |
POPL
2003
ACM
14 years 8 months ago
2003
ACM
Ownership types provide a statically enforceable way of specifying object encapsulation and enable local reasoning about program correctness in object-oriented languages. However,...
ICITS
2009
13 years 6 months ago
2009
Abstract. The term indistinguishability amplification refers to a setting where a certain construction combines two (or more) cryptographic primitives of the same type to improve t...
SIBGRAPI
2008
IEEE
14 years 2 months ago
2008
IEEE
This work introduces a Hidden Markov Model (HMM) based technique to classify agricultural crops. The method recognizes different crops by analyzing their spectral profiles over a ...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
The `Scrap your boilerplate' approach to generic programming allows the programmer to write generic functions that can traverse arbitrary data structures, and yet have type-s...
DATE
2003
IEEE
14 years 1 months ago
2003
IEEE
—A new approach for designing t-UED and BUED code checkers is presented. In particular we consider Borden codes for t = 2k − 1, Bose and Bose-Lin codes. The design technique fo...