31686 search results - page 271 / 6338 » Resource typing in Guru |
105
Voted
DAGSTUHL
1998
15 years 2 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
ACL
1997
15 years 2 months ago
1997
We introduce a typed feature logic system providing both universal implicational principles as well as definite clauses over feature terms. We show that such an architecture suppo...
91
Voted
CORR
2010
Springer
15 years 23 days ago
2010
Springer
In this paper, we will study Lee, Kim and Yoo, a verifier password typed key agreement scheme and demonstrate that the scheme is not secure. Then, the authors will propose an enha...
107
Voted
CORR
2006
Springer
15 years 21 days ago
2006
Springer
In a previous work, we proved that almost all of the Calculus of Inductive Constructions (CIC), the basis of the proof assistant Coq, can be seen as a Calculus of Algebraic Constru...
84
Voted
COMBINATORICS
2007
15 years 20 days ago
2007
By introducing the notion of relative derangements of type B, also called signed relative derangements, which are defined in terms of signed permutations, we obtain a type B anal...