@article{2010_dyntype_wgt,
  author = {Thomas Gazagnaire and Anil Madhavapeddy},
  doi = {10.1016/J.ENTCS.2011.06.002},
  journal = {Electronic Notes in Theoretical Computer Science},
  month = {jul},
  number = {5},
  pages = {3--21},
  title = {Dynamics for ML using Meta-Programming},
  url = {https://linkinghub.elsevier.com/retrieve/pii/S1571066111000739},
  volume = {264},
  year = {2011}}