J. Staples;P. J. Robinson;R. A. Paterson;R. A. Hagen;A. J. Craddock;P. C. Wallis
-;-;-;-;-;-
Scrap your nameplate: (functional pearl)
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Nominal logic programming
ACM Transactions on Programming Languages and Systems (TOPLAS)