DMCA

Secure distributed programming with value-dependent types (2011)

by Nikhil Swamy , Juan Chen , Cédric Fournet , Pierre-yves Strub , Karthikeyan Bhargavan , Jean Yang
Venue:In: Proceedings of the 13th ACM SIGPLAN International Conference on Functional Programming (ICFP
Citations:77 - 15 self