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.
No references recorded for this publication.
No citations of this publication recorded.