@inproceedings{icfp05:ramsey+,
	address={New York, NY, USA},
	author={Ramsey, Norman and Fisher, Kathleen and Govereau, Paul},
	booktitle={ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming},
	pages={27--40},
	publisher={ACM},
	title={An expressive language of signatures},
	year=2005,
}