Matches in DBpedia 2016-04 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 full 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 Unified Theory of Dependent Types (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 "2015-12-18".
- Agda_(programming_language) latestReleaseVersion "2.4.2.5".
- Agda_(programming_language) license BSD_licenses.
- Agda_(programming_language) wikiPageExternalLink tutorial.pdf.
- Agda_(programming_language) wikiPageExternalLink BrutalDepTypes.
- Agda_(programming_language) wikiPageExternalLink agda.
- Agda_(programming_language) wikiPageExternalLink tutorial.pdf.
- Agda_(programming_language) wikiPageExternalLink playlist?p=B7F836675DCE009C.
- Agda_(programming_language) wikiPageID "4426773".
- Agda_(programming_language) wikiPageLength "8569".
- Agda_(programming_language) wikiPageOutDegree "34".
- Agda_(programming_language) wikiPageRevisionID "707546677".
- Agda_(programming_language) wikiPageWikiLink BSD_licenses.
- 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 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_expression.
- Agda_(programming_language) wikiPageWikiLink Pattern_matching.
- Agda_(programming_language) wikiPageWikiLink Peano_axioms.
- 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) wikiPageWikiLink Unified_Theory_of_Dependent_Types.
- 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) 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 "2015-12-18".
- Agda_(programming_language) latestReleaseVersion "2.4".
- Agda_(programming_language) license BSD_licenses.
- 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) wikiPageUsesTemplate Template:Release_date.
- 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 Language.
- Agda_(programming_language) type ProgrammingLanguage.
- Agda_(programming_language) type Software.
- Agda_(programming_language) type Assistant.
- Agda_(programming_language) type Language.
- Agda_(programming_language) type Redirect.
- Agda_(programming_language) type Language.
- Agda_(programming_language) type Thing.
- Agda_(programming_language) type Q315.
- Agda_(programming_language) type Q34770.
- 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 Q20479.
- 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 Agda.
- Agda_(programming_language) wasDerivedFrom Agda_(programming_language)?oldid=707546677.