3001 search results - page 232 / 601 » Recursive type generativity |
135
click to vote
ICALT
2006
IEEE
16 years 16 days ago
2006
IEEE
The use of patterns in e-learning is being recently proposed with different purposes and scopes. This paper provides a unifying view of several representative proposals in order t...
146
click to vote
CCA
2005
Springer
16 years 23 hour ago
2005
Springer
In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as “names” for the elements they represent. Given s...
144
click to vote
ECOOP
2000
Springer
15 years 10 months ago
2000
Springer
Classes play a dual role in mainstream statically-typed object-oriented languages, serving as both object generators and object types. In such languages, inheritance implies subtyp...
160
click to vote
CCS
1999
ACM
15 years 10 months ago
1999
ACM
We present a novel approach to improving the security of passwords. In our approach, the legitimate user’s typing patterns (e.g., durations of keystrokes and latencies between ke...
199
click to vote
TYPES
1995
Springer
15 years 10 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...