Search dblp for Publications

• > Home > Search

@article{DBLP:journals/jfp/SwamyCFSBY13,
  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},
  journal      = {J. Funct. Program.},
  volume       = {23},
  number       = {4},
  pages        = {402--451},
  year         = {2013},
  url          = {https://doi.org/10.1017/S0956796813000142},
  doi          = {10.1017/S0956796813000142},
  timestamp    = {Thu, 03 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jfp/SwamyCFSBY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icfp/SwamyCFSBY11,
  author       = {Nikhil Swamy and
                  Juan Chen and
                  C{\'{e}}dric Fournet and
                  Pierre{-}Yves Strub and
                  Karthikeyan Bhargavan and
                  Jean Yang},
  editor       = {Manuel M. T. Chakravarty and
                  Zhenjiang Hu and
                  Olivier Danvy},
  title        = {Secure distributed programming with value-dependent types},
  booktitle    = {Proceeding of the 16th {ACM} {SIGPLAN} international conference on
                  Functional Programming, {ICFP} 2011, Tokyo, Japan, September 19-21,
                  2011},
  pages        = {266--278},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2034773.2034811},
  doi          = {10.1145/2034773.2034811},
  timestamp    = {Thu, 24 Jun 2021 16:19:30 +0200},
  biburl       = {https://dblp.org/rec/conf/icfp/SwamyCFSBY11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}