@Inproceedings{EPTCS241.1,
  author    = {Kiselyov, Oleg},
  year      = {2017},
  title     = {Generating Code with Polymorphic let: A Ballad of Value Restriction, Copying and Sharing},
  editor    = {Yallop, Jeremy and Doligez, Damien},
  booktitle = {{\rm Proceedings}
               ML Family  / OCaml Users and Developers workshops,
               {\rm Vancouver, Canada, 3rd & 4th September 2015}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {241},
  publisher = {Open Publishing Association},
  pages     = {1-22},
  doi       = {10.4204/EPTCS.241.1},
}