Types and program transformations

Azamatbek Mametjanov. Types and program transformations. In Richard P. Gabriel, David F. Bacon, Cristina Videira Lopes, Guy L. Steele Jr., editors, Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada. pages 937-938, ACM, 2007. [doi]

@inproceedings{Mametjanov07,
  title = {Types and program transformations},
  author = {Azamatbek Mametjanov},
  year = {2007},
  doi = {10.1145/1297846.1297954},
  url = {http://doi.acm.org/10.1145/1297846.1297954},
  tags = {transformation, program transformation},
  researchr = {https://researchr.org/publication/Mametjanov07},
  cites = {0},
  citedby = {0},
  pages = {937-938},
  booktitle = {Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  editor = {Richard P. Gabriel and David F. Bacon and Cristina Videira  Lopes and Guy L. Steele Jr.},
  publisher = {ACM},
  isbn = {978-1-59593-865-7},
}