Ilya G. Klyuchnikov

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 2

Top Topics

Top Venues

Ershov Memorial Conference

Erlang Workshop

Program. Comput. Softw.

Publications

Ilya G. Klyuchnikov
eqWAlizer: scaling Erlang development at WhatsApp with static typing (keynote). Erlang Workshop (2022)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Supercompilation for Martin-Lof's type theory. Program. Comput. Softw. 41 (3) (2015)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Certifying Supercompilation for Martin-Löf's Type Theory. Ershov Memorial Conference (2014)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Higher-level supercompilation as a metasystem transition. Program. Comput. Softw. 38 (5) (2012)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Multi-result Supercompilation as Branching Growth of the Penultimate Level in Metasystem Transitions. Ershov Memorial Conference (2011)
Ilya G. Klyuchnikov, Sergei A. Romanenko
Proving the Equivalence of Higher-Order Terms by Means of Supercompilation. Ershov Memorial Conference (2009)