Special issue: PEPM 2010, ACM SIGPLAN 2010 workshop on partial evaluation and program manipulation, Madrid, Spain, January 18--19, 2010. Selected papers.

Authors

Publication date 23 December 2011

Published in Higher-Order and Symbolic Computation (Search for Journal in Brave)

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of software (68Nxx)

Cited in

(1)

Rewriting and narrowing for constructor systems with call-time choice semantics

This page was built for publication: Special issue: PEPM 2010, ACM SIGPLAN 2010 workshop on partial evaluation and program manipulation, Madrid, Spain, January 18--19, 2010. Selected papers.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q654859)