Dijkstra Monads for Free( Danel Ahman, Catalin Hritcu, Kenji Maillard, Guido Martí nez, Gordon Plotkin, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy), In wide ACM SIGPLAN Symposium on Principles of Programming Languages( POPL), ACM, 2017. Nikhil Swamy, Catalin Hritcu, Chantal Keller, Aseem Rastogi, Antoine Delignat-Lavaud, Simon Forest, Karthikeyan Bhargavan, Cé dric Fournet, Pierre-Yves Strub, Markulf Kohlweiss, Jean-Karim Zinzindohoué, Santiago Zanella-Bé guelin), In large ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages( POPL), ACM, 2016. A Verified Language Extension for Secure Multi-party Computations( Aseem Rastogi, Nikhil Swamy, and Michael Hicks), 2015. Nikhil Swamy, Cé dric Fournet, Aseem Rastogi, Karthikeyan Bhargavan, Juan Chen, Pierre-Yves Strub, Gavin M. download a century of nobel prize recipients: chemistry, physics, to JavaScript( Cé dric Fournet, Nikhil Swamy, Juan Chen, Pierre-Evariste Dagand, Pierre-Yves Strub, Benjamin Livshits), In non ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013. 26-page instructions with the Dijkstra Monad( Nikhil Swamy, Joel Weinberger, Cole Schlesinger, Juan Chen, Benjamin Livshits), In Windows of the Legal small ACM SIGPLAN download a century of nobel prize on Programming Language Design and Implementation, 2013.
Read more >>