This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cedric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Beguelin, Jean-Karim Zinzindohoue
Journal title: 2nd Summit on Advances in Programming Languages (SNAPL 2017)
Journal number: 2017
Journal publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Published year: 2017
Published pages: 1:1--1:12
DOI identifier: 10.4230/LIPIcs.SNAPL.2017.1
ISBN: 978-3-95977-032-3
- Not specified