Published May 31, 2023
| Version v1
Software
Open
Artifact: Intrinsically Typed Sessions With Callbacks
Description
This is an artifact accompanying a paper conditionally accepted at the International Conference on Functional Programming, ICFP 2023. It contains a qemu image along with instructions how to run the material inside.
Files
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:12cc834bfc17e4d8e08ef6d0a067ec9a
|
2.0 GB | Download |