3116 search results - page 24 / 624 » Positively dependent types |
157
click to vote
APAL
2007
15 years 6 months ago
2007
In this paper we consider a type system with a universal type ω where any term (whether open or closed, β-normalising or not) has type ω. We provide this type system with a rea...
145
click to vote
ALT
2007
Springer
16 years 2 months ago
2007
Springer
As some cognitive research suggests, in the process of learning languages, in addition to overt explicit negative evidence, a child often receives covert explicit evidence in form...
133
click to vote
ISCC
2005
IEEE
15 years 11 months ago
2005
IEEE
In this paper we present a concept and an architecture for a location dependent Digital Rights Management system. The solution is based on a trusted hardware which incorporates th...
124
click to vote
OTM
2009
Springer
16 years 14 days ago
2009
Springer
Natural language-based conceptual modelling as well as the use of diagrams have been essential components of fact-oriented modelling from its inception. However, transforming natur...
167
click to vote
MANSCI
2010
15 years 4 months ago
2010
We study competitive positioning and pricing strategies in markets where consumers seek variety. Variety seeking behavior is modeled as an increase in the willingness-to-pay for t...