Idioma / País:
Sites semelhantes Cse.Chalmers.Se
Page has been moved
descrição: 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.
Buscas Populares: cse chalmers
Avaliação do Site:
3.0 / 5.0, revistos por Sites Like Search
linguagem: English
Assuntos da página: programming
Whiley is an open source programming language which runs on the JVM and uses extended static checking to eliminate errors at compile time.
Avaliação do Site:
3.0 / 5.0, linguagem: English
A framework integrating major concepts from functional programming into the Java Platform.
Avaliação do Site:
3.0 / 5.0, linguagem: English
Disclojure posts daily summaries of selected development topics.
Avaliação do Site:
3.0 / 5.0, linguagem: English
An online computer dictionary and internet search engine for internet terms and technical support.
Avaliação do Site:
4.5 / 5.0, linguagem: English
60+ bloggers selected on the basis of their originality, insight, talent, and dedication provide up-to-date coverage of their different scientific fields.
Avaliação do Site:
4.5 / 5.0, linguagem: English
Home page for the Agda 2, a dependently typed functional programming language.
Avaliação do Site:
3.0 / 5.0, linguagem: English
Porgi is a Proof-Or-Refutation Generator for Intuitionistic propositional logic, implementated by Allen Stoughton. Given a sequent, Porgi either finds a minimally ...
Avaliação do Site:
3.0 / 5.0, linguagem: English
Repository for information on the lazy functional programming language Haskell: Descriptions, documents, history, news, HaWiki, software (libraries, tools), humor ...
Avaliação do Site:
4.3 / 5.0, linguagem: English
Resultados relacionados:
sítios semelhantes aos Q-lang.Sourceforge.Net
sítios semelhantes aos Groups.Inf.Ed.Ac.Uk
sítios semelhantes aos Readscheme.Org
sítios semelhantes aos Aldor.Org
sítios semelhantes aos Icfp2002.Cs.Brown.Edu
Pizzacompiler.Sourceforge.Net alternativas
Madore.Org alternativas
Cs.Cmu.Edu alternativas
Cduce.Org alternativas
Journals.Cambridge.Org alternativas
sítios semelhantes aos Groups.Inf.Ed.Ac.Uk
sítios semelhantes aos Readscheme.Org
sítios semelhantes aos Aldor.Org
sítios semelhantes aos Icfp2002.Cs.Brown.Edu
Pizzacompiler.Sourceforge.Net alternativas
Madore.Org alternativas
Cs.Cmu.Edu alternativas
Cduce.Org alternativas
Journals.Cambridge.Org alternativas