Names for free: polymorphic views of names and binders

Jean-Philippe Bernardy, Nicolas Pouillard. Names for free: polymorphic views of names and binders. In Chung-chieh Shan, editor, Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, Boston, MA, USA, September 23-24, 2013. pages 13-24, ACM, 2013. [doi]

Abstract

Abstract is missing.