Sites similar to Cse.Chalmers.Se
Page has been moved
Description: Polytypic programming language; source files for compiler written in Haskell that compiles PolyP-code to Haskell; library of polytypic functions written in PolyP, some examples, documents, downloads.
Popular Searches: cse chalmers
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: programming
Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.
Site rating:
3.0 / 5.0, Language: English
A framework integrating major concepts from functional programming into the Java Platform.
Site rating:
3.0 / 5.0, Language: English
Disclojure posts daily summaries of selected development topics.
Site rating:
3.0 / 5.0, Language: English
An online computer dictionary and internet search engine for internet terms and technical support.
Site rating:
4.5 / 5.0, Language: English
60+ bloggers selected on the basis of their originality, insight, talent, and dedication provide up-to-date coverage of their different scientific fields.
Site rating:
4.5 / 5.0, Language: English
Home page for the Agda 2, a dependently typed functional programming language.
Site rating:
3.0 / 5.0, Language: English
Porgi is a Proof-Or-Refutation Generator for Intuitionistic propositional logic, implementated by Allen Stoughton. Given a sequent, Porgi either finds a minimally ...
Site rating:
3.0 / 5.0, Language: English
Repository for information on the lazy functional programming language Haskell: Descriptions, documents, history, news, HaWiki, software (libraries, tools), humor ...
Site rating:
4.3 / 5.0, Language: English
Related results:
sites similar to Q-lang.Sourceforge.Net
sites similar to Groups.Inf.Ed.Ac.Uk
sites similar to Readscheme.Org
sites similar to Aldor.Org
sites similar to Icfp2002.Cs.Brown.Edu
Pizzacompiler.Sourceforge.Net alternatives
Madore.Org alternatives
Cs.Cmu.Edu alternatives
Cduce.Org alternatives
Journals.Cambridge.Org alternatives
sites similar to Groups.Inf.Ed.Ac.Uk
sites similar to Readscheme.Org
sites similar to Aldor.Org
sites similar to Icfp2002.Cs.Brown.Edu
Pizzacompiler.Sourceforge.Net alternatives
Madore.Org alternatives
Cs.Cmu.Edu alternatives
Cduce.Org alternatives
Journals.Cambridge.Org alternatives