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]


No references recorded for this publication.

Cited by

No citations of this publication recorded.