Abstract: Binary Type-II complementary pairs are shown to exist only at lengths $2^{m}$, and exhaustive search for binary Type-II complementary sequence pairs of small length shows that the algebraic ...
Abstract: Static type inference is an effective way to maintain the safety of programs written in a dynamically typed language. However, foreign functions implemented in another programming language ...