1982 search results - page 118 / 397 » Parametricity and dependent types |
165
click to vote
EACL
1993
ACL Anthology
15 years 8 months ago
1993
ACL Anthology
A new class of formal languages will be defined the Distributed Index Languages (DI-languages). The grammar-formalism generating the new class - the DI-grammars - cover unbound de...
174
click to vote
ISBI
2004
IEEE
16 years 7 months ago
2004
IEEE
In functional Magnetic Resonance Imaging (fMRI), recent works have addressed the non parametric estimation of the Hemodynamic Response Function (HRF) under linearity and stationar...
191
click to vote
ICFP
2006
ACM
16 years 6 months ago
2006
ACM
Datatype-generic programming (DGP) is the next step beyond abstracting over types using parametric polymorphism, which is often called "genericity" in object-oriented la...
178
click to vote
PPDP
2007
Springer
16 years 23 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
181
click to vote
OOPSLA
2004
Springer
16 years 11 hour ago
2004
Springer
Generics offer significant software engineering benefits since they provide code reuse without compromising type safety. Thus generics will be added to the Java language in the...