Idioma / País:

Sites semelhantes Cse.Chalmers.Se

cse.chalmers.se - Page has been moved
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
Cse.Chalmers.Se
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
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.
whiley.org - 

Sites como Whiley.Org

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, linguagem: English
A framework integrating major concepts from functional programming into the Java Platform.
fun4j.org - 

Sites como Fun4j.Org

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, linguagem: English
Disclojure posts daily summaries of selected development topics.
disclojure.org - 

Sites como Disclojure.Org

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, linguagem: English
An online computer dictionary and internet search engine for internet terms and technical support.
webopedia.com - 

Sites como Webopedia

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
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.
scienceblogs.com - 

Sites como Scienceblogs

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
4.5 / 5.0, linguagem: English
Home page for the Agda 2, a dependently typed functional programming language.
wiki.portal.chalmers.se - 

Sites como Wiki.Portal.Chalmers.Se

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
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 ...
people.cis.ksu.edu - 

Sites como People.Cis.Ksu.Edu

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
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 ...
haskell.org - 

Sites como Haskell.Org

 »
Avaliação do Site: 
  • 1
  • 2
  • 3
  • 4
  • 5
4.3 / 5.0, linguagem: English
tópicos relacionados:  programming   computer   math   artificial   software   education   history   technology   social   people