Published April 6, 2023
| Version 2.0.0+a
Software
Open
AlgST
Authors/Creators
- 1. University of Freiburg
- 2. Universidade de Lisboa
Description
An implementation of “Parameterized Algebraic Protocols”. Find the GitHub repository at https://github.com/proglang/AlgST/tree/pldi23-artifact.
Files
algst-artifact.zip
Files
(659.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:cfd5508ef8199396e0175dff1fa7d5cd
|
659.0 kB | Preview Download |