@InProceedings{chlipala+:strict,
  author =       {Adam Chlipala and Leaf Petersen and Robert Harper},
  title =        {Strict Bidirectional Type Checking},
  booktitle =    {Types in Language Design and Implementation},
  year =         2005,
  note =         {(To appear.)}
}