Published May 31, 2023
| Version 0.2
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.
This update additionally contains a source code distribution.
Files
artifact-icfp23.zip
Files
(2.0 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:f098ffe18d06fe04f78eedf1c875781d
|
23.5 kB | Preview Download |
|
md5:12cc834bfc17e4d8e08ef6d0a067ec9a
|
2.0 GB | Download |