{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/free-theorems-seq","name":"free-theorems-seq","description":"Given a term, this program calculates a set of \"optimal\" free theorems\nthat hold in a lambda calculus with selective strictness. It omits\ntotality (in general, bottom-reflection) and other restrictions when\npossible. The underlying theory is described in the paper \"Taming\nSelective Strictness\" (ATPS'09) by Daniel Seidel and Janis Voigtländer.\nA webinterface for the program is running online at\nhttp://www-ps.iai.uni-bonn.de/cgi-bin/polyseq.cgi\nor available offline via the package\nhttp://hackage.haskell.org/package/free-theorems-seq-webui.\n\nRelated to this package you may be interested in the online free theorem generator\nat http://www-ps.iai.uni-bonn.de/ft that is also available offline via\nhttp://hackage.haskell.org/package/free-theorems-webui.\nAdditionally interesting may be the counterexample generator for free theorems that\nexemplifies the need of strictness conditions imposed by general recursion.\nIt can be downloaded at\nhttp://hackage.haskell.org/package/free-theorems-counterexamples\nor used via a webinterface at\nhttp://www-ps.iai.uni-bonn.de/cgi-bin/exfind.cgi.","version":"1.0","softwareVersion":"1.0","license":"https://spdx.org/licenses/Other","keywords":["language","library","public-domain","Propose Tags"],"maintainer":[{"@type":"Person","name":"JanisVoigtlaender"},{"@type":"Person","name":"DanielSeidel"}],"author":[{"@type":"Person","name":"JanisVoigtlaender"},{"@type":"Person","name":"DanielSeidel"}],"copyrightHolder":[{"@type":"Person","name":"JanisVoigtlaender"},{"@type":"Person","name":"DanielSeidel"}],"dateCreated":"2011-03-11","dateModified":"2011-03-11","datePublished":"2011-03-11","copyrightYear":2011,"downloadUrl":"https://hackage.haskell.org/package/free-theorems-seq-1.0/free-theorems-seq-1.0.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/free-theorems-seq"]}