Secure distributed programming with value-dependent types (bibtex)
by Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang
Reference:
Secure distributed programming with value-dependent types (Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang), In 16th ACM SIGPLAN international conference on Functional Programming, 2011.
Bibtex Entry:
@inproceedings{SwamyCFSBY11,
  author    = {Nikhil Swamy and
               Juan Chen and
               C{\'e}dric Fournet and
               Pierre-Yves Strub and
               Karthikeyan Bhargavan and
               Jean Yang},
  title     = {Secure distributed programming with value-dependent types},
  booktitle = {16th ACM SIGPLAN international conference
               on Functional Programming},
  year      = {2011},
  pages     = {266-278},
PDF ={http://research.microsoft.com/pubs/150012/icfp-camera-ready.pdf},
URL ={http://research.microsoft.com/apps/pubs/default.aspx?id=150012},
  ee        = {http://doi.acm.org/10.1145/2034773.2034811},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
Powered by bibtexbrowser