@hackage polyseq0.1.2

Taming Selective Strictness

Categories
License
LicenseRef-PublicDomain
Maintainer
ds@iai.uni-bonn.de
Links
- Documentation
- No source repository
- Security
Versions
- 0.1.2.1 Wed, 6 Oct 2010
- 0.1.2 Wed, 17 Mar 2010
- 0.1.1 Fri, 12 Mar 2010

Installation
In your cabal file:
Dependencies (16)
- array >=0.1.0.0
- base >=1 && <4
- bytestring >=0.9.0.1
- containers >=0.1.0.1
- mtl >=1.1.0.0
- parsec >=3.0.0
Dependents (1)
@hackage/acme-everything

Given a term, this program calculates a set of "optimal" free theorems that hold in a lambda calculus with selective strictness. It omits totality (in general, bottom-reflection) and other restrictions when possible. The underlying theory is described in the paper "Taming Selective Strictness" (ATPS'09) by Daniel Seidel and Janis Voigtländer.

@hackage polyseq0.1.2

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (16)

Dependents (1)