Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDThe 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
a service of 
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.
last updated on 2024-04-18 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
