Michael Hanus. A generic analysis environment for declarative programs. In Sergio Antoy, Michael Hanus, editors, Proceedings of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming, Tallinn, Estonia, September 29, 2005. pages 43-48, ACM, 2005. [doi]
No references recorded for this publication.
No citations of this publication recorded.