1229 search results - page 56 / 246 » Associated type synonyms |
FPCA
1991
15 years 3 months ago
1991
We develop a calculus for lazy functional programming based on recursion operators associated with data type de nitions. For these operators we derive various algebraic laws that ...
CCCG
2010
15 years 1 months ago
2010
Three types of geometric structure--grid triangulations, rectangular subdivisions, and orthogonal polyhedra-can each be described combinatorially by a regular labeling: an assignm...
USENIX
1994
15 years 1 months ago
1994
The Spring operating system provides a uniform name service that can be used to associate any name with any object independent of the type of object, and allows arbitrary name spa...
ACS
2010
15 years 11 hour ago
2010
We characterize the hereditary torsion pairs of finite type in the functor category of a ring R associated to tilting torsion pairs in the category of R-modules. Moreover, we deter...
APPML
2006
14 years 12 months ago
2006
We obtain an upper bound on a new type of exponential sums with linear recurrence sequences. We apply this bound to estimate the Fourier coefficients, and thus the nonlinearity, o...