Composable user-defined operators that can express user-defined literals

Kazuhiro Ichikawa, Shigeru Chiba. Composable user-defined operators that can express user-defined literals. In Walter Binder, Erik Ernst, Achille Peternier, Robert Hirschfeld, editors, 13th International Conference on Modularity, MODULARITY '14, Lugano, Switzerland, April 22-26, 2014. pages 13-24, ACM, 2014. [doi]

Abstract

Abstract is missing.