@inproceedings{CunhaOV06,
  title = {Type-Safe Two-Level Data Transformation},
  author = {Alcino Cunha and José Nuno Oliveira and Joost Visser},
  year = {2006},
  doi = {10.1007/11813040_20},
  url = {http://dx.doi.org/10.1007/11813040_20},
  tags = {rule-based, generic programming, XML, XML Schema, coupled evolution, functional programming, Haskell, type system, data-flow programming, data-flow, format evolution, rules, migration, transformation system, programming, 2LT, transformation, program transformation},
  researchr = {https://researchr.org/publication/CunhaOV06},
  cites = {0},
  citedby = {0},
  pages = {284-299},
  booktitle = {FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  editor = {Jayadev Misra and Tobias Nipkow and Emil Sekerinski},
  volume = {4085},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-37215-6},
}