# polyseq: Taming Selective Strictness

[ deprecated, language, library, program, public-domain ] [ Propose Tags ]
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.

[Skip to Readme]

## Modules

• Language
• Haskell
• FreeTheorems
• Variations
• PolySeq
• Parser
• Language.Haskell.FreeTheorems.Variations.PolySeq.Parser.ParseTerm
• Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq
• Language.Haskell.FreeTheorems.Variations.PolySeq.PrettyPrint
• Language.Haskell.FreeTheorems.Variations.PolySeq.TheoremGen
• Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator

## Downloads

#### Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

• No Candidates
Versions [RSS] 0.1.1, 0.1.2, 0.1.2.1 array (>=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) [details] LicenseRef-PublicDomain Daniel Seidel ds@iai.uni-bonn.de Language by DanielSeidel at 2010-10-06T17:30:12Z 1 direct, 0 indirect [details] polyseq.cgi 2323 total (4 in the last 30 days) (no votes yet) [estimated by Bayesian average] λ λ λ Docs not available All reported builds failed as of 2016-12-28

## Readme for polyseq-0.1.2.1

[back to package description]
The module polyseq-0.1.2 can be installed the following way:

runhaskell Setup.hs configure --user
runhaskell Setup.hs build
runhaskell Setup.hs haddock
runhaskell Setup.hs install

runhaskell Setup.hs haddock builds the documentation.
This step is not necessary.

After installation the modules
Language.Haskell.FreeTheorems.Variations.PolySeq.PolySeq
Language.Haskell.FreeTheorems.Variations.PolySeq.PrettyPrint
Language.Haskell.FreeTheorems.Variations.PolySeq.TypeTranslator
Language.Haskell.FreeTheorems.Variations.PolySeq.TheoremGen
Language.Haskell.FreeTheorems.Variations.PolySeq.Parser.ParseTerm
are available.

To start the webinterface do

\$ ./test.sh

then it runs under  http://localhost:8002/

The webinterface can also be found under

http://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi

Enjoy.

Acknowledgements.
=================

Most of the webinterface' code (./src/polyseq-cgi.hs) and the script testcgi.py
are written by

Joachim Breitner <mail@joachim-breitner.de>.

Thanks!