18429 search results - page 3 / 3686 » Typing dynamic typing |
216
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...
ACSC
2004
IEEE
13 years 9 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...
ENTCS
2010
13 years 5 months ago
2010
Process modeling languages such as "Dynamical Grammars" are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can b...
ECOOP
2010
Springer
13 years 7 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
POPL
2011
ACM
12 years 8 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...