Honu: syntactic extension for algebraic notation through enforestation

Jon Rafkind, Matthew Flatt. Honu: syntactic extension for algebraic notation through enforestation. In Klaus Ostermann, Walter Binder, editors, Generative Programming and Component Engineering, GPCE'12, Dresden, Germany, September 26-28, 2012. pages 122-131, ACM, 2012. [doi]

Abstract

Abstract is missing.