@hackage maam0.3.0.0

Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers

Categories
License
BSD-3-Clause
Maintainer
david.darais@gmail.com
Links
Versions
- 0.3.0.0 Tue, 27 Oct 2015
- 0.2.0.1 Thu, 2 Apr 2015
- 0.2.0.0 Thu, 2 Apr 2015
- 0.1.0.0 Fri, 23 Jan 2015

Installation
In your cabal file:
Dependencies (5)
- base >=4.8 && <4.9
- containers
- template-haskell
- text
- vector
Dependents (1)
@hackage/acme-everything

Monadic Abstracting Abstract Machines (MAAM) built on Galois Transformers. See "Galois Transformers and Modular Abstract Interpreters" by Darais, Might and Van Horn.

@hackage maam0.3.0.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (5)

Dependents (1)