LIPIcs, Volume 32, SNAPL'15, Complete Volume

Ball, Thomas; Bodik, Rastislav; Krishnamurthi, Shriram; Lerner, Benjamin S.; Morrisett, Greg

doi:10.4230/LIPIcs.SNAPL.2015

Document

LIPIcs, Volume 32, SNAPL'15, Complete Volume

Authors Thomas Ball, Rastislav Bodik, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett

Part of: Volume: 1st Summit on Advances in Programming Languages (SNAPL 2015)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: Summit on Advances in Programming Languages (SNAPL)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2015-05-12

PDF

File

LIPIcs.SNAPL.2015.pdf

Filesize: 27.92 MB
350 pages

Document Identifiers

DOI: 10.4230/LIPIcs.SNAPL.2015
URN: urn:nbn:de:0030-drops-50461

Author Details

Thomas Ball

Rastislav Bodik

Shriram Krishnamurthi

Benjamin S. Lerner

Greg Morrisett

Cite As Get BibTex

1st Summit on Advances in Programming Languages (SNAPL 2015). Leibniz International Proceedings in Informatics (LIPIcs), Volume 32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015) https://doi.org/10.4230/LIPIcs.SNAPL.2015

Abstract

LIPIcs, Volume 32, SNAPL'15, Complete Volume

Subject Classification

Keywords

Programming Languages

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail