There is a newer version of the record available.

Published May 31, 2023 | Version v1
Software Open

Artifact: Intrinsically Typed Sessions With Callbacks

Authors/Creators

  • 1. University of Freiburg

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