Open
Books
Keywords
functional programming
In articles
In books
In conferences
In pdf-articles
Search in authors
Not search in authors
For example,
Бобцов
Books
Article
FINITE AUTOMATA VALIDATION WITH VARIABLES IN FUNCTIONAL PROGRAMMING LANGUAGES
Article
VERIFICATION OF REACTIVE PROGRAMS BY DEPENDENT TYPE SYSTEMS WITH STRUCTURAL INDUCTION
1
Keywords
Keywords
CONTENT © ITMO UNIVERSITY 1993-2024