Skip to content

Releases: granule-project/graded-coeffects-mechanization

MycroftFest paper - "On Graded Coeffect Types for Information-Flow Control"

19 Mar 10:26
@dorchard dorchard
mycroftfest
37a4414

Choose a tag to compare

View all tags
MycroftFest paper - "On Graded Coeffect Types for Information-Flow Control" Latest
Latest

This version of the mechanisation goes along with the paper "On Graded Coeffect Types for Information-Flow Control"

Assets 2
Loading