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.