The polyseq package

[Tags: deprecated, library, program, public-domain]

Deprecated in favor of free-theorems-seq

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.


Properties

Versions0.1.1, 0.1.2, 0.1.2.1
Dependenciesarray (>=0.1.0.0), base (>=1), bytestring (>=0.9.0.1), cgi, containers (>=0.1.0.1), free-theorems (>=0.3.1), haskell-src (>=1.0.1.1), mtl (>=1.1.0.0), network (>=2.1.0.0), old-locale (>=1.0.0.0), old-time (>=1.0.0.0), parsec (>=3.0.0), pretty (>=1.0.0.0), syb (>=0.1.0.0), utf8-string, xhtml
LicensePublicDomain
AuthorDaniel Seidel
Maintainerds@iai.uni-bonn.de
CategoryLanguage
Executablespolyseq.cgi
UploadedWed Mar 17 11:50:19 UTC 2010 by DanielSeidel
DistributionsNixOS:0.1.2.1
Downloads366 total (37 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees