Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Higher-order_abstract_syntax> ?p ?o }
Showing triples 1 to 77 of
77
with 100 triples per page.
- Higher-order_abstract_syntax abstract "In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.".
- Higher-order_abstract_syntax wikiPageExternalLink 15-barzilay.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink hoas-paper.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink ltrees.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink slp87.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink lics99hoas.ps.gz.
- Higher-order_abstract_syntax wikiPageExternalLink pldi88.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink tlca95.ps.
- Higher-order_abstract_syntax wikiPageID "2636072".
- Higher-order_abstract_syntax wikiPageLength "7196".
- Higher-order_abstract_syntax wikiPageOutDegree "34".
- Higher-order_abstract_syntax wikiPageRevisionID "638123772".
- Higher-order_abstract_syntax wikiPageWikiLink Abstract_syntax.
- Higher-order_abstract_syntax wikiPageWikiLink Abstract_syntax_tree.
- Higher-order_abstract_syntax wikiPageWikiLink Association_for_Computing_Machinery.
- Higher-order_abstract_syntax wikiPageWikiLink Boilerplate_code.
- Higher-order_abstract_syntax wikiPageWikiLink Canonical_form.
- Higher-order_abstract_syntax wikiPageWikiLink Category:Dependently_typed_programming.
- Higher-order_abstract_syntax wikiPageWikiLink Category:Logic_programming.
- Higher-order_abstract_syntax wikiPageWikiLink Category:Programming_language_theory.
- Higher-order_abstract_syntax wikiPageWikiLink Category:Type_theory.
- Higher-order_abstract_syntax wikiPageWikiLink Compiler.
- Higher-order_abstract_syntax wikiPageWikiLink Computer_science.
- Higher-order_abstract_syntax wikiPageWikiLink Concrete_syntax.
- Higher-order_abstract_syntax wikiPageWikiLink De_Bruijn_index.
- Higher-order_abstract_syntax wikiPageWikiLink Edge_(graph_theory).
- Higher-order_abstract_syntax wikiPageWikiLink First-order_abstract_syntax.
- Higher-order_abstract_syntax wikiPageWikiLink Frank_Pfenning.
- Higher-order_abstract_syntax wikiPageWikiLink Generalized_algebraic_data_type.
- Higher-order_abstract_syntax wikiPageWikiLink Graph_(mathematics).
- Higher-order_abstract_syntax wikiPageWikiLink IEEE_Symposium_on_Logic_in_Computer_Science.
- Higher-order_abstract_syntax wikiPageWikiLink Interactive_Theorem_Proving_(conference).
- Higher-order_abstract_syntax wikiPageWikiLink International_Conference_on_Functional_Programming.
- Higher-order_abstract_syntax wikiPageWikiLink LF_(logical_framework).
- Higher-order_abstract_syntax wikiPageWikiLink Lambda_calculus.
- Higher-order_abstract_syntax wikiPageWikiLink Lecture_Notes_in_Computer_Science.
- Higher-order_abstract_syntax wikiPageWikiLink Lisp_(programming_language).
- Higher-order_abstract_syntax wikiPageWikiLink Lisp_programming_language.
- Higher-order_abstract_syntax wikiPageWikiLink Logical_framework.
- Higher-order_abstract_syntax wikiPageWikiLink Mathematical_object.
- Higher-order_abstract_syntax wikiPageWikiLink Metalanguage.
- Higher-order_abstract_syntax wikiPageWikiLink Name_binding.
- Higher-order_abstract_syntax wikiPageWikiLink Object_language.
- Higher-order_abstract_syntax wikiPageWikiLink PLDI.
- Higher-order_abstract_syntax wikiPageWikiLink Parametric_higher-order_abstract_syntax.
- Higher-order_abstract_syntax wikiPageWikiLink Parse_tree.
- Higher-order_abstract_syntax wikiPageWikiLink Programming_Language_Design_and_Implementation.
- Higher-order_abstract_syntax wikiPageWikiLink SIGPLAN.
- Higher-order_abstract_syntax wikiPageWikiLink Scope_(computer_science).
- Higher-order_abstract_syntax wikiPageWikiLink Scope_(programming).
- Higher-order_abstract_syntax wikiPageWikiLink Symposium_on_Logic_in_Computer_Science.
- Higher-order_abstract_syntax wikiPageWikiLink Theorem_Proving_in_Higher-Order_Logics.
- Higher-order_abstract_syntax wikiPageWikiLink Twelf.
- Higher-order_abstract_syntax wikiPageWikiLinkText "Higher-order abstract syntax".
- Higher-order_abstract_syntax wikiPageWikiLinkText "higher-order abstract syntax".
- Higher-order_abstract_syntax wikiPageWikiLinkText "higher-order representation".
- Higher-order_abstract_syntax hasPhotoCollection Higher-order_abstract_syntax.
- Higher-order_abstract_syntax wikiPageUsesTemplate Template:Cite_conference.
- Higher-order_abstract_syntax wikiPageUsesTemplate Template:Cite_journal.
- Higher-order_abstract_syntax wikiPageUsesTemplate Template:No_footnotes.
- Higher-order_abstract_syntax subject Category:Dependently_typed_programming.
- Higher-order_abstract_syntax subject Category:Logic_programming.
- Higher-order_abstract_syntax subject Category:Programming_language_theory.
- Higher-order_abstract_syntax subject Category:Type_theory.
- Higher-order_abstract_syntax hypernym Technique.
- Higher-order_abstract_syntax type Area.
- Higher-order_abstract_syntax type Article.
- Higher-order_abstract_syntax type Software.
- Higher-order_abstract_syntax type Area.
- Higher-order_abstract_syntax type Article.
- Higher-order_abstract_syntax comment "In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.".
- Higher-order_abstract_syntax label "Higher-order abstract syntax".
- Higher-order_abstract_syntax sameAs m.07tcby.
- Higher-order_abstract_syntax sameAs Q5757956.
- Higher-order_abstract_syntax sameAs Q5757956.
- Higher-order_abstract_syntax wasDerivedFrom Higher-order_abstract_syntax?oldid=638123772.
- Higher-order_abstract_syntax isPrimaryTopicOf Higher-order_abstract_syntax.