@inproceedings{Blair:17,
  author    = {William Blair and
               Hongwei Xi},
  title     = {Dependent Types for Multi-Rate Flows in Synchronous Programming},
  booktitle = {Proceedings {ML} Family / OCaml Users and Developers workshops, {ML}
               Family/OCaml 2015},
  series    = {{EPTCS}},
  volume    = {241},
  pages     = {36--44},
  year      = {2017},
  url       = {https://doi.org/10.4204/EPTCS.241.3},
  location  = {Vancouver, Canada}
}