Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Agda_(programming_language)> ?p ?o. }
Showing items 1 to 69 of
69
with 100 items per page.
- Agda_(programming_language) abstract "Agda is both a functional programming language with dependent types, based on the idea of the Curry-Howard correspondence as embodied in Per Martin-Löf's intuitionistic type theory, and a proof assistant for developing constructive proofs. The latest version of Agda, Agda 2, is a complete rewrite originally developed by Ulf Norell, a research engineer at Chalmers University of Technology.Agda, unlike Coq, has limited support for tactics and proofs are generally 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.There are three compiler backends, MAlonzo which targets Haskell, a JavaScript backend, and an Epic backend.".
- Agda_(programming_language) influencedBy Coq.
- Agda_(programming_language) influencedBy Epigram_(programming_language).
- Agda_(programming_language) influencedBy Haskell_(programming_language).
- Agda_(programming_language) latestReleaseDate "2013-10-30".
- Agda_(programming_language) latestReleaseVersion "2.3.2.2".
- Agda_(programming_language) thumbnail Agda_proof.jpg?width=300.
- Agda_(programming_language) wikiPageExternalLink LICENSE.
- Agda_(programming_language) wikiPageExternalLink Agda.
- Agda_(programming_language) wikiPageExternalLink main.pdf.
- Agda_(programming_language) wikiPageExternalLink Overview_en.xml.
- Agda_(programming_language) wikiPageExternalLink agda.
- Agda_(programming_language) wikiPageExternalLink universes.pdf.
- Agda_(programming_language) wikiPageExternalLink epic.php.
- Agda_(programming_language) wikiPageExternalLink tutorial.pdf.
- Agda_(programming_language) wikiPageExternalLink fol.pdf.
- Agda_(programming_language) wikiPageExternalLink tutorial.pdf.
- Agda_(programming_language) wikiPageExternalLink haskell05.pdf.
- Agda_(programming_language) wikiPageExternalLink playlist?p=B7F836675DCE009C.
- Agda_(programming_language) wikiPageExternalLink learn-you-an-agda.
- Agda_(programming_language) wikiPageID "4426773".
- Agda_(programming_language) wikiPageRevisionID "591909088".
- Agda_(programming_language) fileExt ".agda, .lagda".
- Agda_(programming_language) hasPhotoCollection Agda_(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 "2013-10-30".
- Agda_(programming_language) latestReleaseVersion "2.3".
- 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) 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) comment "Agda is both a functional programming language with dependent types, based on the idea of the Curry-Howard correspondence as embodied in Per Martin-Löf's intuitionistic type theory, and a proof assistant for developing constructive proofs.".
- Agda_(programming_language) label "Agda (programming language)".
- Agda_(programming_language) label "Agda".
- 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=591909088.
- Agda_(programming_language) depiction Agda_proof.jpg.
- Agda_(programming_language) homepage agda.
- Agda_(programming_language) isPrimaryTopicOf Agda_(programming_language).
- Agda_(programming_language) name "Agda".