Binders unbound (2011)

by S Weirich, B A Yorgey, T Sheard
Venue:In 16th ACM SIGPLAN International Conference on Functional Programming