18429 search results - page 2 / 3686 » Typing 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
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...
IJON
2007
13 years 4 months ago
2007
Neural reliability and stochastic synchronization are remarkable features of real neurons with important consequences for neural computation. Both phenomena are general properties...
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...