Journals
Books
Articles by keyword static typing
Type system for a statically typed concatenative programming language with first class function support

A.M. Dinikeev¹

¹Innopolis University (Innopolis, Russia)

¹a.dinikeev@innopolis.university