/coeffects

Analysis of context-dependence

Primary LanguageHaskellMIT LicenseMIT

Coeffects

Liveness analysis and bounded reuse.

References

Coeffects: Unified static analysis of context-dependence

Tomas Petricek, Dominic Orchard and Alan Mycroft.
In Proceedings of International Conference on Automata, Languages, and Programming - Volume Part II. 2013.
Website.

Coeffects: A calculus of context-dependent computation

Tomas Petricek, Dominic Orchard and Alan Mycroft.
In Proceedings of International Conference on Functional Programming. 2014.
Website.