Sites similar to Wiki.Portal.Chalmers.Se
Wiki portal @ chalmers.se
Description: Home page for the Agda 2, a dependently typed functional programming language.
Popular Searches: wiki portal chalmers
Site rating:
3.0 / 5.0, reviewed by Sites Like Search
Language: English
Site topics: programming
An XML centric programming language with higher order, semantic subtyping, pattern matching and overloading, and open source implementation.
Site rating:
3.0 / 5.0, Language: English
Programs and research in Computer Science, Neural Cognition, Robotics, Language and Information Technologies, Human-Computer Interaction, Software Engineering and ...
Site rating:
3.0 / 5.0, Language: English
An essay on quines, programs which produce their own listing as output.
Site rating:
3.0 / 5.0, Language: English
Arbeits- und Forschungsbereiche sowie Lehraktivitäten im Überblick.
Site rating:
3.0 / 5.0, Language: Deutsch
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 ...
Site rating:
3.0 / 5.0, Language: English
Repository for information on the lazy functional programming language Haskell: Descriptions, documents, history, news, HaWiki, software (libraries, tools), humor ...
Site rating:
4.3 / 5.0, Language: English
An online computer dictionary and internet search engine for internet terms and technical support.
Site rating:
4.5 / 5.0, Language: English
Programming Languages Weblog with news and discussion.
Site rating:
3.9 / 5.0, Language: English
Related results:
sites similar to Web.Cecs.Pdx.Edu
sites similar to Cis.Upenn.Edu
sites similar to Groups.Inf.Ed.Ac.Uk
sites similar to Q-lang.Sourceforge.Net
sites similar to Cat-language
People.Cis.Ksu.Edu alternatives
Cse.Chalmers.Se alternatives
Disclojure.Org alternatives
Fun4j.Org alternatives
Whiley.Org alternatives
sites similar to Cis.Upenn.Edu
sites similar to Groups.Inf.Ed.Ac.Uk
sites similar to Q-lang.Sourceforge.Net
sites similar to Cat-language
People.Cis.Ksu.Edu alternatives
Cse.Chalmers.Se alternatives
Disclojure.Org alternatives
Fun4j.Org alternatives
Whiley.Org alternatives