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.


[Skip to Readme]

Properties

Versions 0.1.1, 0.1.2, 0.1.2.1
Dependencies 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]
License PublicDomain
Author Daniel Seidel
Maintainer ds@iai.uni-bonn.de
Stability Unknown
Category Language
Uploaded Wed Mar 17 11:50:19 UTC 2010 by DanielSeidel
Distributions NixOS:0.1.2.1
Downloads 610 total (5 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-24 [all 5 reports]

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

For package maintainers and hackage trustees

Readme for polyseq

Readme for polyseq-0.1.2

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!