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 ...

Abstract: Topology optimizations involving evolutionary algorithms are promising approaches to solve practical engineering design problems, since their use of derivation-free algorithms makes them ...