@InProceedings{	  blanchette.gheri.ea:bindings,
  author	= {Jasmin Christian Blanchette and Lorenzo Gheri and Andrei
		  Popescu and Dmitriy Traytel},
  title		= {Bindings as Bounded Natural Functors},
  booktitle	= {Proceedings of the 46th ACM SIGPLAN Symposium on
		  Principles of Programming Languages (POPL)},
  year		= 2019,
  pages		= {22:1-22:34}
}