Wiki.portal.chalmers.se - Sites Semelhantes - Sites similares a wiki.portal.chalmers.se

Idioma / País:

Português
- English
- Deutsch
- Français
- Italiano
- Português
- Português
- Nederlands
- Norsk
- Español
- Türkçe
- Русский
- Polszczyzna
- Svenska
- 中文
- 日本語
- United Kingdom
- Canada
- Australia

- Top 5 Sites Like
  wiki.portal.cha...
- cduce
- cs.cmu
- madore
- mathematik.uni-marburg
- kahu.zoot.net

Wiki portal @ chalmers.se

descrição: Home page for the Agda 2, a dependently typed functional programming language.

Buscas Populares: wiki portal chalmers

Avaliação do Site:

3.0 / 5.0, revistos por Sites Like Search

linguagem: English

Assuntos da página: programming

CDuce: CDuce

An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation.

cduce.org -

Sites como Cduce.Org

Avaliação do Site:

3.0 / 5.0, linguagem: English

SCHOOL OF COMPUTER SCIENCE, Carnegie Mellon

Programs and research in Computer Science, Neural Cognition, Robotics, Language and Information Technologies, Human-Computer Interaction, Software Engineering and ...

cs.cmu.edu -

Sites como Cs.Cmu.Edu

Avaliação do Site:

3.0 / 5.0, linguagem: English

www.madore.org

An essay on quines, programs which produce their own listing as output.

madore.org -

Sites como Madore.Org

Avaliação do Site:

3.0 / 5.0, linguagem: English

Fachbereich Mathematik und Informatik der Philipps-Universität ...

Arbeits- und Forschungsbereiche sowie Lehraktivitäten im Überblick.

mathematik.uni-marburg.de -

Sites como Mathematik.Uni-marburg.De

Avaliação do Site:

3.0 / 5.0, linguagem: Deutsch

Kahu Research

Makes Mondrian, light Haskell version to interoperate with other languages in OO environments; runs on .NET (old version for JVM), supports ASP.NET, to embed ...

kahu.zoot.net.nz -

Sites como Kahu.Zoot.Net.Nz

Avaliação do Site:

3.0 / 5.0, linguagem: English

Haskell - HaskellWiki

Repository for information on the lazy functional programming language Haskell: Descriptions, documents, history, news, HaWiki, software (libraries, tools), humor ...

haskell.org -