@InProceedings{MooreDFFC2016,
  author = 	 {Scott Moore and Christos Dimoulas and Matthew Flatt and Findler, Robert Bruce and Stephen Chong},
  title = 	 {Extensible Access Control with Authorization Contracts},
  booktitle =	 {Proceedings of the 2016 {ACM} {SIGPLAN} International Conference on Object-Oriented Programming Languages, Systems, Languages, and Applications},
  publisher =    {ACM Press},
  address = 	 {New York, NY, USA},
  month = 	 oct,
  year = 	 2016
}