Sergei Romanenko’s talks
Сергей Романенко: презентации

##2018

• Сергей Романенко. Рефал и Идрис как воплощения идеи “метаалгоритмического языка”. Апрель 2018. PDF Idris code

##2017

• Сергей Романенко. Доказательства методом бесконечного спуска и их формализация на Агде. Май 2017. PDF

• Сергей Романенко. Доказательство леммы Хигмана (для двух букв) формализованное на Агде. Июль 2017. PDF MD

• Сергей Романенко. Рефал и Агда как воплощения идеи “метаалгоритмического языка”. Сентябрь 2017. PDF Agda code

##2011

• Ilya Klyuchnikov, Sergei A. Romanenko. Multi-result supercompilation as a tool for program analysis. Luleå University of Technology, Sweden, April 28, 2011. abstract slides

##2009

• Илья Ключников, Сергей Романенко. Суперкомпиляция: обобщение, зацикливание, гомеоморфизм. Ноябрь 2009 PDF, март 2018 PDF.