439 search results - page 45 / 88 » Type invariants for Haskell |
MDM
2010
Springer
14 years 14 days ago
2010
Springer
Abstract—Location obfuscation using cloaking regions preserves location anonymity by hiding the true user among a set of other equally likely users. Furthermore, a cloaking regio...
ECCV
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. The scale invariant property of an ensemble of natural images is examined which motivates a new early visual representation termed the higher order pyramid. The represent...
ICFP
2008
ACM
14 years 7 months ago
2008
ACM
Datatype-generic programming involves parametrization by the shape of data, in the form of type constructors such as `list of'. Most approaches to datatype-generic programmin...
TLDI
2003
ACM
14 years 28 days ago
2003
ACM
We describe a design pattern for writing programs that traverse data structures built from rich mutually-recursive data types. Such programs often have a great deal of “boilerpl...
POPL
2004
ACM
14 years 8 months ago
2004
ACM
Parametric polymorphism constrains the behavior of pure functional programs in a way that allows the derivation of interesting theorems about them solely from their types, i.e., v...