Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/ALF_(proof_assistant)> ?p ?o }
Showing triples 1 to 40 of
40
with 100 triples per page.
- ALF_(proof_assistant) abstract "ALF can also refer to Algebraic Logic Functional programming language.ALF (\"Another logical framework\") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages. It was the first language to support inductive families and dependent pattern matching.".
- ALF_(proof_assistant) wikiPageExternalLink alfengine.pdf.
- ALF_(proof_assistant) wikiPageExternalLink usersguidetoalf.pdf.
- ALF_(proof_assistant) wikiPageExternalLink Alfa.
- ALF_(proof_assistant) wikiPageID "32680774".
- ALF_(proof_assistant) wikiPageLength "1599".
- ALF_(proof_assistant) wikiPageOutDegree "14".
- ALF_(proof_assistant) wikiPageRevisionID "705007327".
- ALF_(proof_assistant) wikiPageWikiLink Agda_(programming_language).
- ALF_(proof_assistant) wikiPageWikiLink Alfa_(proof_assistant).
- ALF_(proof_assistant) wikiPageWikiLink Bengt_Nordström.
- ALF_(proof_assistant) wikiPageWikiLink Category:Dependently_typed_languages.
- ALF_(proof_assistant) wikiPageWikiLink Category:Proof_assistants.
- ALF_(proof_assistant) wikiPageWikiLink Cayenne_(programming_language).
- ALF_(proof_assistant) wikiPageWikiLink Chalmers_University_of_Technology.
- ALF_(proof_assistant) wikiPageWikiLink Coq.
- ALF_(proof_assistant) wikiPageWikiLink Dependent_pattern_matching.
- ALF_(proof_assistant) wikiPageWikiLink Dependent_type.
- ALF_(proof_assistant) wikiPageWikiLink Intuitionistic_type_theory.
- ALF_(proof_assistant) wikiPageWikiLink Proof_assistant.
- ALF_(proof_assistant) wikiPageWikiLink Thorsten_Altenkirch.
- ALF_(proof_assistant) wikiPageWikiLinkText "ALF (proof assistant)".
- ALF_(proof_assistant) wikiPageWikiLinkText "Alf".
- ALF_(proof_assistant) wikiPageUsesTemplate Template:Comp-sci-stub.
- ALF_(proof_assistant) wikiPageUsesTemplate Template:For.
- ALF_(proof_assistant) wikiPageUsesTemplate Template:Reflist.
- ALF_(proof_assistant) subject Category:Dependently_typed_languages.
- ALF_(proof_assistant) subject Category:Proof_assistants.
- ALF_(proof_assistant) hypernym Editor.
- ALF_(proof_assistant) type Language.
- ALF_(proof_assistant) type Person.
- ALF_(proof_assistant) type Assistant.
- ALF_(proof_assistant) type Language.
- ALF_(proof_assistant) comment "ALF can also refer to Algebraic Logic Functional programming language.ALF (\"Another logical framework\") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages. It was the first language to support inductive families and dependent pattern matching.".
- ALF_(proof_assistant) label "ALF (proof assistant)".
- ALF_(proof_assistant) sameAs Q4652336.
- ALF_(proof_assistant) sameAs m.0h3rp_v.
- ALF_(proof_assistant) sameAs Q4652336.
- ALF_(proof_assistant) wasDerivedFrom ALF_(proof_assistant)?oldid=705007327.
- ALF_(proof_assistant) isPrimaryTopicOf ALF_(proof_assistant).