Published October 9, 2023 | Version v1
Software Open

Artefact for Algebraic Effects Meet Hoare Logic in Cubical Agda

Creators

  • 1. Imperial College London

Description

This is the artefact for the paper "Algebraic Effects Meet Hoare Logic in Cubical Agda", conditionally accepted at POPL 2024.

Files

README.md

Files (7.0 GB)

Name Size Download all
md5:44d89f4d4633fe9248e94585c5a321b5
90.9 kB Download
md5:191d96cd8f8ed2611b36b9a6d09b4348
1.3 MB Download
md5:767e727caff9e849c293b6d3de731da9
7.0 GB Download
md5:2fdba8a788704effaf723cfac857a3f9
2.5 kB Preview Download