This is the artefact for the paper "Algebraic Effects Meet Hoare Logic in Cubical Agda", conditionally accepted at POPL 2024
Contains fulltext : 193535.pdf (preprint version ) (Open Access
A semigroup-based setting for developing Hoare logics and refinement calculi is introduced together ...
Contains fulltext : 143726.pdf (preprint version ) (Open Access
This is the artefact for the paper "Algebraic Effects Meet Hoare Logic in Cubical Agda", conditional...
This Agda code contains a formal development of some of the proofs in the paper Ian Orton and Andr...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
Artifacts used in the bachelor's thesis Learning Algebraic Predicates for Explainable Controllers (2...
To appear in Proceedings of the Capri-85 Conference on A.I., pub. by North HollandAvailable from Bri...
This is the artifact for the paper "ZDD Boolean Synthesis" submitted to TACAS 2022
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
It is well-known that extensional lambda calculus is equivalent to extensional combinatory logic. In...
Contains fulltext : 143756.pdf (publisher's version ) (Closed access
Artifact for POPL24 paper 122: Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis
We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare...
Contains fulltext : 193535.pdf (preprint version ) (Open Access
A semigroup-based setting for developing Hoare logics and refinement calculi is introduced together ...
Contains fulltext : 143726.pdf (preprint version ) (Open Access
This is the artefact for the paper "Algebraic Effects Meet Hoare Logic in Cubical Agda", conditional...
This Agda code contains a formal development of some of the proofs in the paper Ian Orton and Andr...
In the thesis, we explore reasoning about and handling of algebraic effects. Those are computational...
This artifact contains the code accompanying the POPL 2023 paper Hefty Algebras: Modular Elaboration...
Artifacts used in the bachelor's thesis Learning Algebraic Predicates for Explainable Controllers (2...
To appear in Proceedings of the Capri-85 Conference on A.I., pub. by North HollandAvailable from Bri...
This is the artifact for the paper "ZDD Boolean Synthesis" submitted to TACAS 2022
Process algebra is a device for analysing sequential processes, and has been studied in Amsterdam si...
It is well-known that extensional lambda calculus is equivalent to extensional combinatory logic. In...
Contains fulltext : 143756.pdf (publisher's version ) (Closed access
Artifact for POPL24 paper 122: Solvable Polynomial Ideals: The Ideal Reflection for Program Analysis
We discuss an algebraic approach to propositional logic with side effects. To this end, we use Hoare...
Contains fulltext : 193535.pdf (preprint version ) (Open Access
A semigroup-based setting for developing Hoare logics and refinement calculi is introduced together ...
Contains fulltext : 143726.pdf (preprint version ) (Open Access
DOI
Add to ORKG