@InProceedings{chlipala+:strict,
  author = 	 {Adam Chlipala and Leaf Petersen and Robert Harper},
  title = 	 {Strict Bidirectional Type Checking},
  booktitle = 	 {Proceedings of the {TLDI 2005}: {ACM} {SIGPLAN} International Workshop on Types in Language Design and Implementation},
  pages =	 {122--130},
  year =	 2005,
  address =	 {Long Beach, CA},
  month =	 {January}
}