Implementing cooper storage compositionally in Haskell
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src
test
LICENSE
README.md
Setup.hs
package.yaml
stack.yaml

README.md

Cooper Storage in Haskell

Haskell code implementing Cooper Storage using some ideas from:

Kobele, G. 2018. The Cooper Storage Idiom. Journal of Language, Logic and Information 27:95-131.

Not useful for anything. See this blog post for more info.