@inproceedings{BarbosaCV07,
  title = {A type-level approach to component prototyping},
  author = {Luís Barbosa and Jácome Cunha and Joost Visser},
  year = {2007},
  doi = {10.1145/1294917.1294920},
  url = {http://doi.acm.org/10.1145/1294917.1294920},
  tags = {programming languages, rule-based, meta programming, data-flow language, meta-model, modeling language, modeling, components, language modeling, composition, functional programming, Haskell, type system, data-flow programming, data-flow, type-level programming, compiler,  algebra, programming, type theory, abstraction, Meta-Environment, safe composition, abstract machine, systematic-approach},
  researchr = {https://researchr.org/publication/BarbosaCV07},
  cites = {0},
  citedby = {0},
  pages = {23-36},
  booktitle = {Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC/FSE joint meeting, SYANCO 2007, Dubrovnik, Croatia, September 3-4, 2007},
  editor = {Farhad Arbab and Christel Baier},
  publisher = {ACM},
}