Gradual typing embedded securely in JavaScript (bibtex)
by Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman
Reference:
Gradual typing embedded securely in JavaScript (Nikhil Swamy, Cédric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. Bierman), In 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), 2014.
Bibtex Entry:
@inproceedings{SwamyFRBCSB14,
  author    = {Nikhil Swamy and
               C{\'e}dric Fournet and
               Aseem Rastogi and
               Karthikeyan Bhargavan and
               Juan Chen and
               Pierre-Yves Strub and
               Gavin M. Bierman},
  title     = {Gradual typing embedded securely in JavaScript},
  booktitle = {41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)},
  year      = {2014},
  pages     = {425-438},
  url = "http://prosecco.inria.fr/personal/karthik/pubs/tsstar-popl14.pdf"
}
Powered by bibtexbrowser