@article{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 = {Journal of Functional Programming},
    volume = {23},
    issue = {Special Issue 04},
    month = {7},
    year = {2013},
    pages = {402--451},
}