@inproceedings{ChepovskyKKKMRS03,
  title = {Partial Evaluation for Common Intermediate Language},
  author = {Andrei M. Chepovsky and Andrei V. Klimov and Arkady V. Klimov and Yuri A. Klimov and Andrei S. Mishchenko and Sergei A. Romanenko and Sergei Yu. Skorobogatov},
  year = {2003},
  doi = {10.1007/978-3-540-39866-0_19},
  url = {http://dx.doi.org/10.1007/978-3-540-39866-0_19},
  tags = {programming languages,  object-oriented languages, object-oriented programming, rule-based, program analysis, meta programming, transformation language, functional programming, analysis, static analysis, binding-time, compiler,  mutable objects, partial evaluation, subject-oriented programming,  Common Intermediate Language, Meta-Environment,  polyvariant Binding-Time Analysis, feature-oriented programming, meta-objects, transformation, program transformation},
  researchr = {https://researchr.org/publication/ChepovskyKKKMRS03},
  cites = {0},
  citedby = {0},
  pages = {171-177},
  booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov Memorial Conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 2003, Revised Papers},
  editor = {Manfred Broy and Alexandre V. Zamulin},
  volume = {2890},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-20813-5},
}

@inproceedings{KlyuchnikovR09,
  title = {Proving the Equivalence of Higher-Order Terms by Means of Supercompilation},
  author = {Ilya Klyuchnikov and Sergei A. Romanenko},
  year = {2009},
  doi = {10.1007/978-3-642-11486-1_17},
  url = {http://dx.doi.org/10.1007/978-3-642-11486-1_17},
  tags = {laziness, programming languages, functional programming, systematic-approach, domain-specific language},
  researchr = {https://researchr.org/publication/KlyuchnikovR09},
  cites = {0},
  citedby = {0},
  pages = {193-205},
  booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers},
  editor = {Amir Pnueli and Irina Virbitskaite and Andrei Voronkov},
  volume = {5947},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-11485-4},
}

@inproceedings{Romanenko90,
  title = {Arity Raiser and its Use in Program Specialization},
  author = {Sergei A. Romanenko},
  year = {1990},
  doi = {10.1007/3-540-52592-0_73},
  url = {http://dx.doi.org/10.1007/3-540-52592-0_73},
  tags = {interpreter, functional programming, principles, compiler, programming},
  researchr = {https://researchr.org/publication/Romanenko90},
  cites = {0},
  citedby = {0},
  pages = {341-360},
  booktitle = {ESOP 90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings},
  editor = {Neil D. Jones},
  volume = {432},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52592-0},
}