default search action
The Art, Science, and Engineering of Programming, Volume 6
Volume 6, Number 1, 2022
- Angel Luis Scull Pupo, Jens Nicolay, Elisa Gonzalez Boix:
Deriving Static Security Testing from Runtime Security Protection for Web Applications. 1 - Christophe De Troyer, Jens Nicolay, Wolfgang De Meuter:
The Art of the Meta Stream Protocol: Torrents of Streams. 2 - Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud:
An Optimised Flow for Futures: From Theory to Practice. 3 - Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt:
Sham: A DSL for Fast DSLs. 4 - Yudai Tanabe, Luthfan Anshar Lubis, Tomoyuki Aotani, Hidehiko Masuhara:
A Functional Programming Language with Versions. 5
Volume 6, Number 2, 2022
- Yuquan Fu, Sam Tobin-Hochstadt:
Type Checking Extracted Methods. 6 - Jeremy Gibbons:
Continuation-Passing Style, Defunctionalization, Accumulations, and Associativity. 7 - Kuang-Chen Lu, Ben Greenman, Shriram Krishnamurthi:
Types for Tables: A Language Design Benchmark. 8 - Ben Greenman, Lukas Lazarek, Christos Dimoulas, Matthias Felleisen:
A Transient Semantics for Typed Racket. 9 - Tim Nelson, Elijah Rivera, Sam Soucie, Thomas Del Vecchio, John Wrenn, Shriram Krishnamurthi:
Automated, Targeted Testing of Property-Based Testing Predicates. 10
Volume 6, Number 3, 2022
- Elpida Keravnou-Papailiou:
Figuring and Drawing - A Visual Approach to Principled Programming. 11 - Andrey Mokhov:
United Monoids - Finding Simplicial Sets and Labelled Algebraic Graphs in Trees. 12 - Nathanaëlle Courant, Julien Lepiller, Gabriel Scherer:
Debootstrapping without Archeology - Stacked Implementations in Camlboot. 13 - Sam Van den Vonder, Thierry Renaux, Wolfgang De Meuter:
Topology-Level Reactivity in Distributed Reactive Programs - Reactive Acquaintance Management using Flocks. 14
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.