1412 search results - page 38 / 283 » types 2004 |
FOSSACS
2004
Springer
14 years 2 months ago
2004
Springer
Soft linear logic ([Lafont02]) is a subsystem of linear logic characterizing the class PTIME. We introduce Soft lambda-calculus as a calculus typable in the intuitionistic and affi...
IADIS
2004
13 years 10 months ago
2004
This paper describes Memory Inspector, an interactive web-based tutorial on data storage types and an alternative method for teaching these concepts. Memory Inspector was designed...
SIAMNUM
2010
13 years 3 months ago
2010
Polynomials with quaternionic coefficients located on only one side of the powers (we call them simple polynomials) may have two different types of zeros: isolated and spherical ze...
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We show that the first-order theory of structural subtyping of non-recursive types is decidable. Let be a language consisting of function symbols (representing type constructors)...
ICFP
2004
ACM
14 years 8 months ago
2004
ACM
A generic function is a function that can be instantiated on many data types to obtain data type specific functionality. Examples of generic functions are the functions that can b...