Langue / Pays:

Sites similaires à Cse.Chalmers.Se

cse.chalmers.se - Page has been moved
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.
Recherches les plus fréquentes: cse chalmers
Cse.Chalmers.Se
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, examinés par Sites Like Search
Langue: English
Thèmes du site:  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 similaires à Whiley.Org

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

Sites similaires à Fun4j.Org

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

Sites similaires à Disclojure.Org

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: 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 similaires à Webopedia

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
4.5 / 5.0, Langue: 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 similaires à Scienceblogs

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

Sites similaires à Wiki.Portal.Chalmers.Se

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: 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 similaires à People.Cis.Ksu.Edu

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
3.0 / 5.0, Langue: 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 similaires à Haskell.Org

 »
Note du site: 
  • 1
  • 2
  • 3
  • 4
  • 5
4.3 / 5.0, Langue: English
1 2 3 4 5 6 7 8 Suivant »
sujets similaires:  programming   computer   math   artificial   software   education   history   technology   social   people
Résultats liés:
sites similaires à Q-lang.Sourceforge.Net
sites similaires à Groups.Inf.Ed.Ac.Uk
sites similaires à Readscheme.Org
sites similaires à Aldor.Org
sites similaires à Icfp2002.Cs.Brown.Edu
Pizzacompiler.Sourceforge.Net alternatives
Madore.Org alternatives
Cs.Cmu.Edu alternatives
Cduce.Org alternatives
Journals.Cambridge.Org alternatives


SitesLikeSearch.com est un utilitaire simple qui permet de trouver des sites alternatifs, ou connexes.

qqq Website thumbnails provided by BitPixels