2596 search results - page 25 / 520 » Gradual Typing for Objects |
BTW
2003
Springer
15 years 4 months ago
2003
Springer
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
FUIN
2006
14 years 11 months ago
2006
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
109
click to vote
FSTTCS
1999
Springer
15 years 3 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
TIP
1998
14 years 10 months ago
1998
Abstract— We discuss a new type of holographic image representations that have advantages in a “distributed” world. We call these representations holographic. Arbitrary porti...
CCS
1999
ACM
15 years 3 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...