No. |
Title |
Author |
Year |
---|
1 |
A Direct-Style Effect Notation for Sequential and Parallel Programs |
Richter, David et al. |
2023 |
2 |
A Direct-Style Effect Notation for Sequential and Parallel Programs (Artifact) |
Richter, David et al. |
2023 |
3 |
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Artifact) |
Richter, David et al. |
2022 |
4 |
Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract) |
Richter, David et al. |
2022 |
5 |
Multiparty Languages: The Choreographic and Multitier Cases (Pearl) |
Giallorenzo, Saverio et al. |
2021 |