Formalization and abstract implementation of rewriting with nested rules - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sergio Antoy, Stephen Johnson. Formalization and abstract implementation of rewriting with nested rules. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 144-154, ACM, 2004. [doi]

Identified as Sergio Antoy This author has not been identified. Look up 'Stephen Johnson' in Google

runs on WebDSL