1982 search results - page 116 / 397 » Parametricity and dependent types |
138
click to vote
LICS
1987
IEEE
15 years 10 months ago
1987
IEEE
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax, rules, and proofs by means of a typed -calculus ...
AMC
2010
15 years 6 months ago
2010
An Ambrosetti-Prodi type exact multiplicity result is proved for a diffusive logistic equation with harvesting. We show that a modified diffusive logistic mapping has exactly eith...
156
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
We present a size-aware type system for first-order shapely function definitions. Here, a function definition is called shapely when the size of the result is determined exactly...
164
click to vote
IFIP
2004
Springer
16 years 23 hour ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...
178
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In a time-course microarray experiment, the expression level for each gene is observed across a number of time-points in order to characterize the temporal trajectorie...