439 search results - page 31 / 88 » Type invariants for Haskell |
ICPR
2008
IEEE
14 years 9 months ago
2008
IEEE
This paper introduces a method for the recognition planar objects under projective geometry. Our method is based on a similarity measure invariant to projective transform. The pro...
APAL
2006
13 years 7 months ago
2006
: It follows directly from Shelah's structure theory that if T is a classifiable theory, then the isomorphism type of any model of T is determined by the theory of that model ...
PADL
2004
Springer
14 years 1 months ago
2004
Springer
We describe the design and implementation of a program generator that can produce extensions of Fortran that are specialized to support the programming of particular applications. ...
TYPES
2004
Springer
14 years 1 months ago
2004
Springer
Abstract Within a framework of correct code-generation from HOLspecifications, we present a particular instance concerned with the optimized compilation of a lazy language (called...
GPCE
2003
Springer
14 years 28 days ago
2003
Springer
Concepts—sets of abstractions related by common requirements— have a central role in generic programming. This paper proposes a general framework for using concepts to control ...