Taal / Land:

Sites vergelijkbaar Cse.Chalmers.Se

cse.chalmers.se - Page has been moved
Page has been moved
beschrijving: 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.
Populaire zoekopdrachten: cse chalmers
Cse.Chalmers.Se
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, beoordeeld door Sites Like Search
Taal: English
Site-onderwerpen:  programming
Whiley: an Open Source Programming Language with Extended Static ...
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 zoals Whiley.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Taal: English
fun4j - functional programming for the JVM
A framework integrating major concepts from functional programming into the Java Platform.
fun4j.org - 

sites zoals Fun4j.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Taal: English
Disclojure, Public Disclosure of All Things Clojure
Disclojure posts daily summaries of selected development topics.
disclojure.org - 

sites zoals Disclojure.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Taal: English
Webopedia: Online Computer Dictionary for Computer and Internet ...
An online computer dictionary and internet search engine for internet terms and technical support.
webopedia.com - 

sites zoals Webopedia

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
4.5 / 5.0, Taal: English
ScienceBlogs - Where the world turns to talk about science.
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 zoals Scienceblogs

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
4.5 / 5.0, Taal: English
Wiki portal @ chalmers.se
Home page for the Agda 2, a dependently typed functional programming language.
wiki.portal.chalmers.se - 

sites zoals Wiki.Portal.Chalmers.Se

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Taal: English
Porgi
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 zoals People.Cis.Ksu.Edu

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Taal: English
Haskell - HaskellWiki
Repository for information on the lazy functional programming language Haskell: Descriptions, documents, history, news, HaWiki, software (libraries, tools), humor ...
haskell.org - 

sites zoals Haskell.Org

 »
Site rating: 
  • 1
  • 2
  • 3
  • 4
  • 5
4.3 / 5.0, Taal: English
1 2 3 4 5 6 7 8 Volgende »
Gerelateerde onderwerpen:  programming   computer   math   artificial   software   education   history   technology   social   people
Verwante resultaten:
Vergelijkbare Sites als Q-lang.Sourceforge.Net
Vergelijkbare Sites als Groups.Inf.Ed.Ac.Uk
Vergelijkbare Sites als Readscheme.Org
Vergelijkbare Sites als Aldor.Org
Vergelijkbare Sites als Icfp2002.Cs.Brown.Edu
Pizzacompiler.Sourceforge.Net alternatieven
Madore.Org alternatieven
Cs.Cmu.Edu alternatieven
Cduce.Org alternatieven
Journals.Cambridge.Org alternatieven


SitesLikeSearch.com is een eenvoudig nut dat helpt om u een aantal soortgelijke, alternatieve of gerelateerde sites.

qqq Website thumbnails provided by BitPixels