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

Domain-specific type systems in the church and curry formalism

L.Yu. Ismailova1, S.V. Kosikov2

1 National Research Nuclear University MEPhI (Moscow, Russia)

2 LLC "JurInfoR" (Moscow, Russia)

1 LYIsmailova@mephi.ru, 2 kosikov.s.v@gmail.com

Combined system for logical inference and dynamic verification of software component specifications

P.A. Shapkin1, A.N. Inozemtsev2

1–2 National Research Nuclear University MEPhI (Moscow, Russia)

1 pashapkin@mephi.ru, 2 inozemtsev.alex@outlook.com