1828 search results - page 26 / 366 » First-Class Type Classes |
230
click to vote
POPL
2003
ACM
16 years 5 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,...
120
click to vote
ICITS
2009
15 years 2 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...
132
click to vote
SIBGRAPI
2008
IEEE
15 years 11 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 ...
148
Voted
ICFP
2005
ACM
16 years 4 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...
126
click to vote
DATE
2003
IEEE
15 years 10 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...