Assessment of static type checking compliance of EOLANG.

Vadim Piven, Sergey V. Zykov

Browse the full KES paper archive.