556 search results - page 10 / 112 » Generic Properties of Datatypes |
FOSSACS
2003
Springer
14 years 21 days ago
2003
Springer
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers h...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
ACCV
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. In this paper we introduce a new representation for shapebased object class detection. This representation is based on very sparse and slightly flexible configurations of...
IH
2001
Springer
13 years 12 months ago
2001
Springer
Computational forensic engineering (CFE) aims to identify the entity that created a particular intellectual property (IP). Rather than relying on watermarking content or designs, t...
OOPSLA
2010
Springer
13 years 5 months ago
2010
Springer
Type classes were originally developed in Haskell as a disciplined alternative to ad-hoc polymorphism. Type classes have been shown to provide a type-safe solution to important ch...