1982 search results - page 54 / 397 » Parametricity and dependent types |
102
click to vote
CADE
2003
Springer
15 years 10 months ago
2003
Springer
A classical higher-order logic PFsub of partial functions is defined. The logic extends a version of Farmer's logic PF by enriching the type system of the logic with subset ty...
MLQ
2008
14 years 10 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
TYPES
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Proof erasure plays an essential role in the paradigm of programming with theorem proving. In this paper, we introduce a form of attributive types that carry an attribute...
ALT
2004
Springer
15 years 6 months ago
2004
Springer
Different formal learning models address different aspects of learning. Below we compare learning via queries—interpreting learning as a one-shot process in which the learner i...
PAKDD
2009
ACM
15 years 4 months ago
2009
ACM
The trend of social information processing sees e-commerce and social web applications increasingly relying on user-generated content, such as rating, to determine the quality of o...