Journals
Books
Articles by keyword Аппликативные вычислительные системы
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

Developing information and intelligent systems using applicative and semantic technologies

V.V. Roslovtsev1

1 National Research Nuclear University MEPhI (Moscow, Russia)

1 vvroslovtsev@mephi.ru