@Inproceedings{EPTCS53.4,
  author    = {Wiedijk, Freek},
  year      = {2011},
  title     = {Stateless HOL},
  editor    = {Hirschowitz, Tom},
  booktitle = {{\rm Proceedings}
               Types for Proofs and Programs, Revised Selected Papers,
               {\rm Aussois, France, 12-15th May 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {53},
  publisher = {Open Publishing Association},
  pages     = {47-61},
  doi       = {10.4204/EPTCS.53.4},
}