Relating nominal and higher-order abstract syntax specifications

Andrew Gacek. Relating nominal and higher-order abstract syntax specifications. In Temur Kutsia, Wolfgang Schreiner, Maribel Fernández, editors, Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria. pages 177-186, ACM, 2010. [doi]

Authors

Andrew Gacek

This author has not been identified. Look up 'Andrew Gacek' in Google