![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
3rd SNAPL 2019: Providence, RI, USA
- Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.