1925 search results - page 2 / 385 » Dynamic Typing |
IFIP
2004
Springer
13 years 10 months ago
2004
Springer
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
PLDI
1990
ACM
13 years 9 months ago
1990
ACM
ESOP
1992
Springer
13 years 9 months ago
1992
Springer
Dynamic typing is a program analysis targeted at removing runtime tagging and untagging operations from programs written in dynamically typed languages. This paper compares dynami...
213
click to vote
Dataset
Keystroke100 benchmark dataset is for research on keytroke dynamics and typing biometrics. This dataset contains keystroke/typing patterns of 100 users typing the password "tr...
FPGA
1995
ACM
13 years 8 months ago
1995
ACM
This paper considers the problem of partitioning a circuit into a collection of subcircuits, such that each subcircuit is feasible for some device from an FPGA library, and the to...