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 The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '14), 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/popl/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 = {The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles
               of Programming Languages (POPL '14)},
  year      = {2014},
  pages     = {425-438},
  pdf = "pubs/gradual-typing-embedded-securely-in-javascript-popl14.pdf",
  url = "pubs/gradual-typing-embedded-securely-in-javascript-popl14.pdf"
}