海量图书期刊资源，随时随地畅享阅读乐趣
[ACM Press the 7th ACM SIGPLAN international conference - Lisbon, Portugal (2005.07.11-2005.07.13)] Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '05 - A compositional semantics for CHRDelzanno, Giorgio; Gabbrielli, Maurizio; Meo, Maria Chiara · 2005