Abstract is missing.
- The behavior of gradual types: a user studyPreston Tunnell Wilson, Ben Greenman, Justin Pombrio, Shriram Krishnamurthi. 1-12 [doi]
- A trustworthy mechanized formalization of RMartin Bodin, Tomás Diaz, Éric Tanter. 13-24 [doi]
- Log++ logging for a cloud-native worldMark Marron. 25-36 [doi]
- HorseIR: bringing array programming languages together with database query processingHanfeng Chen, Joseph Vinish D'silva, Hongji Chen, Bettina Kemme, Laurie J. Hendren. 37-49 [doi]
- JavaScript AOT compilationManuel Serrano. 50-63 [doi]
- Query-based object-oriented programming: a declarative web of objectsYoav Seginer, Theo Vosse, Gil Harari, Uri Kolodny. 64-75 [doi]
- Self-contained development environmentsGuido Chari, Javier Pimás, Jan Vitek, Olivier Flückiger. 76-87 [doi]
- Numerical computing on the web: benchmarking for the futureDavid Herrera, Hanfeng Chen, Erick Lavoie, Laurie J. Hendren. 88-100 [doi]