@InProceedings{WayeDC2017,
  author = 	 {Lucas Waye and Christos Dimoulas and Stephen Chong},
  title = 	 {Whip: Higher-Order Contracts for Modern Services},
  booktitle =	 {Proceedings of the 22nd ACM SIGPLAN International Conference on Functional Programming},
  publisher =    {ACM Press},
  address = 	 {New York, NY, USA},
  month = 	 sep,
  year = 	 2017
}