2049 search results - page 1 / 410 » Normalization and Partial Evaluation |
AC
2000
Springer
13 years 9 months ago
2000
Springer
TIC
1998
Springer
13 years 8 months ago
1998
Springer
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We present a notion of -long ? -normal term for the typed lambda calculus with sums and prove, using Grothendieck logical relations, that every term is equivalent to one in norm...
PEPM
1998
ACM
13 years 8 months ago
1998
ACM
Abstract. We use a code generator--type-directed partial evaluation-to verify conversions between isomorphic types, or more precisely to verify that a composite function is the ide...
BMCBI
2006
13 years 4 months ago
2006
Background: Recently, a large number of methods for the analysis of microarray data have been proposed but there are few comparisons of their relative performances. By using so-ca...