Volume 6

DOI: https://doi.org/10.22152/programming-journal.org/2022/6

• Volume 6, Issue 1

  1. Deriving Static Security Testing from Runtime Security Protection for Web Applications
     Angel Luis Scull Pupo, Jens Nicolay, and Elisa Gonzalez Boix
  2. The Art of the Meta Stream Protocol: Torrents of Streams
     Christophe De Troyer, Jens Nicolay, and Wolfgang De Meuter
  3. An Optimised Flow for Futures: From Theory to Practice
     Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, and Hadrien Renaud
  4. Sham: A DSL for Fast DSLs
     Rajan Walia, Chung-chieh Shan, and Sam Tobin-Hochstadt
  5. A Functional Programming Language with Versions
     Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, and Hidehiko Masuhara

• Volume 6, Issue 2

  6. Type Checking Extracted Methods
     Yuquan Fu and Sam Tobin-Hochstadt
  7. Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity
     Jeremy Gibbons
  8. Types for Tables: A Language Design Benchmark
     Kuang-Chen Lu, Ben Greenman, and Shriram Krishnamurthi
  9. A Transient Semantics for Typed Racket
     Ben Greenman, Lukas Lazarek, Christos Dimoulas, and Matthias Felleisen
  10. Automated, Targeted Testing of Property-Based Testing Predicates
      Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, and Shriram Krishnamurthi

• Volume 6, Issue 3

  11. Figuring and Drawing
      A Visual Approach to Principled Programming
      Elpida Keravnou-Papailiou
  12. United Monoids
      Finding Simplicial Sets and Labelled Algebraic Graphs in Trees
      Andrey Mokhov
  13. Debootstrapping without Archeology
      Stacked Implementations in Camlboot
      Nathanaëlle Courant, Julien Lepiller, and Gabriel Scherer
  14. Topology-Level Reactivity in Distributed Reactive Programs
      Reactive Acquaintance Management using Flocks
      Sam Van den Vonder, Thierry Renaux, and Wolfgang De Meuter