DLS 2018
14th ACM SIGPLAN International Symposium on Dynamic Languages (DLS 2018)

Title Page

Message from the Chairs

DLS 2018 Organization

The Behavior of Gradual Types: A User Study
Preston Tunnell Wilson, Ben Greenman, Justin Pombrio, and Shriram Krishnamurthi
(Brown University, USA; Northeastern University, USA)

Publisher's Version

A Trustworthy Mechanized Formalization of R
Martin Bodin, Tomás Diaz, and Éric Tanter
(University of Chile, Chile)

Publisher's Version

Log++ Logging for a Cloud-Native World
Mark Marron
(Microsoft Research, USA)

Publisher's Version Info

HorseIR: Bringing Array Programming Languages Together with Database Query Processing
Hanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, and Laurie Hendren
(McGill University, Canada)

Publisher's Version Info

JavaScript AOT Compilation
Manuel Serrano
(Inria, France; University of Côte d'Azur, France)

Publisher's Version

Query-Based Object-Oriented Programming: A Declarative Web of Objects
Yoav Seginer, Theo Vosse, Gil Harari, and Uri Kolodny
(cdl-lang.org, Netherlands; cdl-lang.org, Israel)

Publisher's Version

Self-Contained Development Environments
Guido Chari, Javier Pimás, Jan Vitek, and Olivier Flückiger
(Czech Technical University, Czechia; Palantir Solutions, Argentina; Northeastern University, USA)

Publisher's Version

Numerical Computing on the Web: Benchmarking for the Future
David Herrera, Hanfeng Chen, Erick Lavoie, and Laurie Hendren
(McGill University, Canada)

Publisher's Version