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

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