Journals
Books
Articles by keyword type system
Features of static type-checking and type inference in programming languages on the example of a compiling interpreter

V.E. Drach – Ph.D.(Eng.), Associate Professor, 

Department «Design and manufacturing of electronic equipment», Kaluga branch of the Bauman MSTU E-mail: drach@bmstu-kaluga.ru

A.V. Kuzminsky – Student, 

Department «Information systems and networks», Kaluga branch of the Bauman MSTU

E-mail: alexqzminsky@gmail.com

A.V. Rodionov – Ph.D.(Eng.), Associate Professor, 

Department «Information Systems and Networks», Kaluga branch of the Bauman MSTU E-mail: andviro@gmail.com