SNAPL

Keyphrases

Publications

2019

Michael Greenberg
The Dynamic Practice and Static Theory of Gradual Typing. SNAPL (2019)
Gowtham Kaki, K. C. Sivaramakrishnan, Suresh Jagannathan
Version Control Is for Your Data Too. SNAPL (2019)
Michael Carbin
Overparameterization: A Connection Between Software 1.0 and Software 2.0. SNAPL (2019)
Sheng Chen, John Peter Campora III
Blame Tracking and Type Error Debugging. SNAPL (2019)
Robert Rand, Kesha Hietala, Michael Hicks
Formal Verification vs. Quantum Uncertainty. SNAPL (2019)
Front Matter, Table of Contents, Preface, Conference Organization. SNAPL (2019)
Cristina Cifuentes, Gavin M. Bierman
What is a Secure Programming Language? SNAPL (2019)
Lindsey Kuper, Peter Alvaro
Toward Domain-Specific Solvers for Distributed Consistency. SNAPL (2019)
Matthew Milano, Rolph Recto, Tom Magrino, Andrew C. Myers
A Tour of Gallifrey, a Language for Geodistributed Programming. SNAPL (2019)
Ryan Culpepper, Matthias Felleisen, Matthew Flatt, Shriram Krishnamurthi
From Macros to DSLs: The Evolution of Racket. SNAPL (2019)
Will Crichton
From Theory to Systems: A Grounded Approach to Programming Language Education. SNAPL (2019)
Lenny Truong, Pat Hanrahan
A Golden Age of Hardware Description Languages: Applying Programming Language Techniques to Improve Design Productivity. SNAPL (2019)
Shriram Krishnamurthi, Benjamin S. Lerner, Liam Elberty
The Next 700 Semantics: A Research Challenge. SNAPL (2019)

volume 136, 2019

3rd Summit on Advances in Programming Languages, SNAPL 2019, May 16-17, 2019, Providence, RI, USA. SNAPL 136 (2019)

2017

volume 71, 2017

2nd Summit on Advances in Programming Languages, SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA SNAPL 71 (2017)

2015

volume 32, 2015

1st Summit on Advances in Programming Languages, SNAPL 2015, May 3-6, 2015, Asilomar, California, USA SNAPL 32 (2015)