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: Point cloud registration is crucial for various applications such as robotics and urban planning, yet it remains challenging due to issues such as noise, variable resolutions, and ...