dependent-effects

There are 1 repositories under dependent-effects topic.

  • songyahui/EFFECTS

    Tvide: an Automated Temporal Verification tool of Integrated Dependent Effects

    Language:OCaml3201