Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Abstract) | 0 | 0.34 | 2022 |
Multiparty Languages - The Choreographic and Multitier Cases (Pearl). | 0 | 0.34 | 2021 |
Multitier Modules. | 0 | 0.34 | 2019 |
Distributed system development with ScalaLoci. | 0 | 0.34 | 2018 |
Static latency tracking with placement types. | 0 | 0.34 | 2018 |