An expressive language of signatures

Norman Ramsey, Kathleen Fisher, Paul Govereau. An expressive language of signatures. In Olivier Danvy, Benjamin C. Pierce, editors, Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005. pages 27-40, ACM, 2005. [doi]

@inproceedings{RamseyFG05,
  title = {An expressive language of signatures},
  author = {Norman Ramsey and Kathleen Fisher and Paul Govereau},
  year = {2005},
  doi = {10.1145/1086365.1086371},
  url = {http://doi.acm.org/10.1145/1086365.1086371},
  researchr = {https://researchr.org/publication/RamseyFG05},
  cites = {0},
  citedby = {0},
  pages = {27-40},
  booktitle = {Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005},
  editor = {Olivier Danvy and Benjamin C. Pierce},
  publisher = {ACM},
  isbn = {1-59593-064-7},
}