Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Agda_(programming_language)> ?p ?o }
Showing triples 1 to 75 of
75
with 100 triples per page.
- 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 written in 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) 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 pmwiki.php.
- 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) wikiPageRevisionID "644101754".
- Agda_(programming_language) designer "Ulf Norell".
- Agda_(programming_language) developer "Ulf Norell".
- Agda_(programming_language) fileExt ".agda, .lagda".
- 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) 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) website pmwiki.php.
- 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 Abstraction100002137.
- Agda_(programming_language) type ArtificialLanguage106894544.
- Agda_(programming_language) type Communication100033020.
- Agda_(programming_language) type DependentlyTypedLanguages.
- Agda_(programming_language) type FunctionalLanguages.
- Agda_(programming_language) type Language106282651.
- Agda_(programming_language) type ProgrammingLanguage106898352.
- Agda_(programming_language) type ProgrammingLanguage.
- Agda_(programming_language) type Software.
- Agda_(programming_language) type Work.
- Agda_(programming_language) type CreativeWork.
- Agda_(programming_language) type InformationEntity.
- 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) label "Agda".
- Agda_(programming_language) label "Agda".
- Agda_(programming_language) sameAs Agda.
- Agda_(programming_language) sameAs Agda.
- Agda_(programming_language) sameAs m.0c1r9r.
- Agda_(programming_language) sameAs Q20479.
- Agda_(programming_language) sameAs Q20479.
- Agda_(programming_language) sameAs Agda_(programming_language).
- Agda_(programming_language) wasDerivedFrom Agda_(programming_language)?oldid=644101754.
- Agda_(programming_language) homepage agda.
- Agda_(programming_language) isPrimaryTopicOf Agda_(programming_language).
- Agda_(programming_language) name "Agda".
- Agda_(programming_language) page pmwiki.php.