Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Agda_(programming_language)> ?p ?o }
- Agda_(programming_language) abstract "Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The current version of Agda was originally known as Agda 2. The original Agda system was developed at Chalmers by Catarina Coquand in 1999. The current version is a complete rewrite, which should be considered a new language that shares a name and tradition.Agda, unlike Coq, has no support for tactics, and proofs are written in a functional programming style. The language has ordinary programming constructs such as data types, pattern matching, records, let expressions and modules, and a Haskell-like syntax. The system has an Emacs interface but can also be run in batch mode from the command line.Agda is based on Zhaohui Luo's UTT a type theory similar to Martin-Löf type theory.".
- Agda_(programming_language) designer Ulf_Norell.
- Agda_(programming_language) developer Ulf_Norell.
- Agda_(programming_language) influenced Idris_(programming_language).
- Agda_(programming_language) influencedBy Coq.
- Agda_(programming_language) influencedBy Epigram_(programming_language).
- Agda_(programming_language) influencedBy Haskell_(programming_language).
- Agda_(programming_language) latestReleaseDate "2014-11-15".
- Agda_(programming_language) latestReleaseVersion "2.4.2.1".
- Agda_(programming_language) license LICENSE.
- Agda_(programming_language) wikiPageExternalLink LICENSE.
- Agda_(programming_language) wikiPageExternalLink BrutalDepTypes.
- Agda_(programming_language) wikiPageExternalLink agda.
- Agda_(programming_language) wikiPageExternalLink agda.
- Agda_(programming_language) wikiPageExternalLink epic.php.
- Agda_(programming_language) wikiPageExternalLink tutorial.pdf.
- Agda_(programming_language) wikiPageExternalLink tutorial.pdf.
- Agda_(programming_language) wikiPageExternalLink playlist?p=B7F836675DCE009C.
- Agda_(programming_language) wikiPageID "4426773".
- Agda_(programming_language) wikiPageLength "8503".
- Agda_(programming_language) wikiPageOutDegree "32".
- Agda_(programming_language) wikiPageRevisionID "682829459".
- Agda_(programming_language) wikiPageWikiLink Category:Chalmers_University_of_Technology.
- Agda_(programming_language) wikiPageWikiLink Category:Cross-platform_free_software.
- Agda_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
- Agda_(programming_language) wikiPageWikiLink Category:Free_compilers_and_interpreters.
- Agda_(programming_language) wikiPageWikiLink Category:Free_software_programmed_in_Haskell.
- Agda_(programming_language) wikiPageWikiLink Category:Functional_languages.
- Agda_(programming_language) wikiPageWikiLink Category:Haskell_programming_language_family.
- Agda_(programming_language) wikiPageWikiLink Category:Proof_assistants.
- Agda_(programming_language) wikiPageWikiLink Chalmers_University_of_Technology.
- Agda_(programming_language) wikiPageWikiLink Coq.
- Agda_(programming_language) wikiPageWikiLink Cross-platform.
- Agda_(programming_language) wikiPageWikiLink Data_type.
- Agda_(programming_language) wikiPageWikiLink Data_types.
- Agda_(programming_language) wikiPageWikiLink Dependent_type.
- Agda_(programming_language) wikiPageWikiLink Emacs.
- Agda_(programming_language) wikiPageWikiLink Epigram_(programming_language).
- Agda_(programming_language) wikiPageWikiLink Functional_programming.
- Agda_(programming_language) wikiPageWikiLink Haskell_(programming_language).
- Agda_(programming_language) wikiPageWikiLink Idris_(programming_language).
- Agda_(programming_language) wikiPageWikiLink Intuitionistic_type_theory.
- Agda_(programming_language) wikiPageWikiLink JavaScript.
- Agda_(programming_language) wikiPageWikiLink Let_expressions.
- Agda_(programming_language) wikiPageWikiLink Martin-Löf_type_theory.
- Agda_(programming_language) wikiPageWikiLink Pattern_matching.
- Agda_(programming_language) wikiPageWikiLink Peano_axioms.
- Agda_(programming_language) wikiPageWikiLink Peano_numbers.
- Agda_(programming_language) wikiPageWikiLink Record_(computer_science).
- Agda_(programming_language) wikiPageWikiLink Reflection_(computer_programming).
- Agda_(programming_language) wikiPageWikiLink Ulf_Norell.
- Agda_(programming_language) wikiPageWikiLink Unicode.
- Agda_(programming_language) wikiPageWikiLinkText "Agda (programming language)".
- Agda_(programming_language) wikiPageWikiLinkText "Agda variant".
- Agda_(programming_language) wikiPageWikiLinkText "Agda".
- Agda_(programming_language) designer "Ulf Norell".
- Agda_(programming_language) developer "Ulf Norell".
- Agda_(programming_language) fileExt ",".
- Agda_(programming_language) hasPhotoCollection Agda_(programming_language).
- Agda_(programming_language) influenced Idris_(programming_language).
- Agda_(programming_language) influencedBy Coq.
- Agda_(programming_language) influencedBy Epigram_(programming_language).
- Agda_(programming_language) influencedBy Haskell_(programming_language).
- Agda_(programming_language) latestReleaseDate "2014-11-15".
- Agda_(programming_language) latestReleaseVersion "2.4".
- Agda_(programming_language) license "See the LICENSE file".
- Agda_(programming_language) name "Agda".
- Agda_(programming_language) operatingSystem Cross-platform.
- Agda_(programming_language) paradigm Functional_programming.
- Agda_(programming_language) website agda.
- Agda_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
- Agda_(programming_language) wikiPageUsesTemplate Template:Projects_at_Chalmers_University_of_Technology.
- Agda_(programming_language) wikiPageUsesTemplate Template:Reflist.
- Agda_(programming_language) writtenIn "Haskell".
- Agda_(programming_language) year "2007".
- Agda_(programming_language) subject Category:Chalmers_University_of_Technology.
- Agda_(programming_language) subject Category:Cross-platform_free_software.
- Agda_(programming_language) subject Category:Dependently_typed_languages.
- Agda_(programming_language) subject Category:Free_compilers_and_interpreters.
- Agda_(programming_language) subject Category:Free_software_programmed_in_Haskell.
- Agda_(programming_language) subject Category:Functional_languages.
- Agda_(programming_language) subject Category:Haskell_programming_language_family.
- Agda_(programming_language) subject Category:Proof_assistants.
- Agda_(programming_language) type ProgrammingLanguage.
- Agda_(programming_language) type Software.
- Agda_(programming_language) type Work.
- Agda_(programming_language) type CreativeWork.
- Agda_(programming_language) type Thing.
- Agda_(programming_language) type Q386724.
- Agda_(programming_language) type Q7397.
- Agda_(programming_language) type Q9143.
- Agda_(programming_language) comment "Agda is a dependently typed functional programming language originally developed by Ulf Norell at Chalmers University of Technology with implementation described in his PhD thesis. The current version of Agda was originally known as Agda 2. The original Agda system was developed at Chalmers by Catarina Coquand in 1999.".
- Agda_(programming_language) label "Agda (programming language)".
- Agda_(programming_language) sameAs Agda.
- Agda_(programming_language) sameAs Agda.
- Agda_(programming_language) sameAs m.0c1r9r.
- Agda_(programming_language) sameAs Agda.
- Agda_(programming_language) sameAs Q20479.
- Agda_(programming_language) sameAs Q20479.
- Agda_(programming_language) sameAs Agda.