Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q20479> ?p ?o }
Showing triples 1 to 71 of
71
with 100 triples per page.
- Q20479 subject Q6430970.
- Q20479 subject Q7134862.
- Q20479 subject Q7455416.
- Q20479 subject Q8355008.
- Q20479 subject Q8374212.
- Q20479 subject Q8472236.
- Q20479 subject Q8506049.
- Q20479 subject Q8797482.
- Q20479 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.".
- Q20479 influenced Q15408477.
- Q20479 influencedBy Q1131652.
- Q20479 influencedBy Q34010.
- Q20479 influencedBy Q5382927.
- Q20479 latestReleaseDate "2015-12-18".
- Q20479 latestReleaseVersion "2.4.2.5".
- Q20479 license Q191307.
- Q20479 wikiPageExternalLink tutorial.pdf.
- Q20479 wikiPageExternalLink BrutalDepTypes.
- Q20479 wikiPageExternalLink agda.
- Q20479 wikiPageExternalLink tutorial.pdf.
- Q20479 wikiPageExternalLink playlist?p=B7F836675DCE009C.
- Q20479 wikiPageWikiLink Q1056451.
- Q20479 wikiPageWikiLink Q1131652.
- Q20479 wikiPageWikiLink Q1503724.
- Q20479 wikiPageWikiLink Q15408477.
- Q20479 wikiPageWikiLink Q17097187.
- Q20479 wikiPageWikiLink Q174666.
- Q20479 wikiPageWikiLink Q189722.
- Q20479 wikiPageWikiLink Q190087.
- Q20479 wikiPageWikiLink Q191307.
- Q20479 wikiPageWikiLink Q193076.
- Q20479 wikiPageWikiLink Q2005.
- Q20479 wikiPageWikiLink Q2470517.
- Q20479 wikiPageWikiLink Q34010.
- Q20479 wikiPageWikiLink Q5382927.
- Q20479 wikiPageWikiLink Q6059147.
- Q20479 wikiPageWikiLink Q6430970.
- Q20479 wikiPageWikiLink Q7134862.
- Q20479 wikiPageWikiLink Q7455416.
- Q20479 wikiPageWikiLink Q8355008.
- Q20479 wikiPageWikiLink Q836805.
- Q20479 wikiPageWikiLink Q8374212.
- Q20479 wikiPageWikiLink Q842755.
- Q20479 wikiPageWikiLink Q8472236.
- Q20479 wikiPageWikiLink Q8506049.
- Q20479 wikiPageWikiLink Q8797482.
- Q20479 wikiPageWikiLink Q8819.
- Q20479 wikiPageWikiLink Q997433.
- Q20479 designer "Ulf Norell".
- Q20479 developer "Ulf Norell".
- Q20479 influenced Q15408477.
- Q20479 influencedBy Q1131652.
- Q20479 influencedBy Q34010.
- Q20479 influencedBy Q5382927.
- Q20479 latestReleaseDate "2015-12-18".
- Q20479 latestReleaseVersion "2.4".
- Q20479 license Q191307.
- Q20479 name "Agda".
- Q20479 website agda.
- Q20479 type Language.
- Q20479 type Language.
- Q20479 type ProgrammingLanguage.
- Q20479 type Thing.
- Q20479 type Q315.
- Q20479 type Q34770.
- Q20479 type Q9143.
- Q20479 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.".
- Q20479 label "Agda (programming language)".
- Q20479 homepage agda.
- Q20479 name "Agda".
- Q20479 page agda.