Imperative compositional programming

authors: Wenjia Ye, Yaozhu Sun, Bruno Cds Oliveira
year: 2024
url: https://yzsun.me/files/ICP-paper.pdf
publisher: Association for Computing Machinery
abstract: (4) e1 ¿¿ e2 executes the imperative statement e1 and then returns e2 (aka sequencing). To illustrate the importance of imperative features in compositional programming, we present