Typechecking Higher-Order Security Libraries (bibtex)
by Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts
Reference:
Typechecking Higher-Order Security Libraries (Karthikeyan Bhargavan, Cédric Fournet, Nataliya Guts), In 8th Asian Symposium on Programming Languages and Systems, 2010.
Bibtex Entry:
@inproceedings{BhargavanFG10aplas,
  author    = {Karthikeyan Bhargavan and
               C{\'e}dric Fournet and
               Nataliya Guts},
  title     = {Typechecking Higher-Order Security Libraries},
  booktitle = {8th Asian Symposium on Programming Languages and Systems},
  year      = {2010},
  pages     = {47-62},
  pdf = "pubs/typechecking_higher_order_aplas10.pdf",
  url = "pubs/typechecking_higher_order_aplas10.pdf",
}