Assessment of static type checking compliance of EOLANG. - Vadim Piven; Sergey V. Zykov (KES, 2022)