![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.