@inproceedings{GPCE05,
  author = {Ryan Culpepper and Scott Owens and Matthew Flatt},
  title = {Syntactic Abstraction in Component Interfaces},
  booktitle = {Generative Programming and Component Engineering: 4th International Conference, GPCE 2005},
  month = oct,
  year = 2005,
  series = {Lecture Notes in Computer Science},
  volume = 3676,
  editor = {Robert Gl\"uck and Michael Lowry},
  publisher = {Springer},
  pages = {373--388},
  doi = {10.1007/11561347_25}}