default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd SNAPL 2019: Providence, RI, USA
- Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
3rd Summit on Advances in Programming Languages, SNAPL 2019, Providence, RI, USA, May 16-17, 2019. LIPIcs 136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-113-9 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:8
- Michael Carbin:
Overparameterization: A Connection Between Software 1.0 and Software 2.0. 1:1-1:13 - Sheng Chen, John Peter Campora III:
Blame Tracking and Type Error Debugging. 2:1-2:14 - Cristina Cifuentes, Gavin M. Bierman:
What is a Secure Programming Language? 3:1-3:15 - Will Crichton:
From Theory to Systems: A Grounded Approach to Programming Language Education. 4:1-4:9 - Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
:
From Macros to DSLs: The Evolution of Racket. 5:1-5:19 - Michael Greenberg:
The Dynamic Practice and Static Theory of Gradual Typing. 6:1-6:20 - Lenny Truong, Pat Hanrahan:
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity. 7:1-7:21 - Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan:
Version Control Is for Your Data Too. 8:1-8:18 - Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty:
The Next 700 Semantics: A Research Challenge. 9:1-9:14 - Lindsey Kuper, Peter Alvaro:
Toward Domain-Specific Solvers for Distributed Consistency. 10:1-10:14 - Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers:
A Tour of Gallifrey, a Language for Geodistributed Programming. 11:1-11:19 - Robert Rand, Kesha Hietala, Michael Hicks:
Formal Verification vs. Quantum Uncertainty. 12:1-12:11
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-26 00:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
