Added | 09 Apr 2016 |
Updated | 09 Apr 2016 |
Type | Journal |
Year | 2016 |
Where | POPL |
Authors | 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 Zinzindohoue, Santiago Zanella Béguelin |