@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 = {ershov},
}

@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 = {ershov},
}

@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},
}