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
Change logNone available
Dependenciesarray (>=0.1.0.0), base (>=1), bytestring (>=0.9.0.1), cgi (>=3001.1.5.1), 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 (>=0.3.1.1), xhtml (>=3000.0.2.1)
LicensePublicDomain
AuthorDaniel Seidel
Maintainerds@iai.uni-bonn.de
CategoryLanguage
Executablespolyseq.cgi
UploadedWed Oct 6 17:30:12 UTC 2010 by DanielSeidel
DistributionsNixOS:0.1.2.1
Downloads429 total (19 in last 30 days)
StatusDocs not available [build log]
All reported builds failed as of 2015-05-20 [all 2 reports]

Modules

Downloads

Maintainers' corner

For package maintainers and hackage trustees