About: Higher-order abstract syntax

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Technique for the representation of abstract syntax trees in languages with variable binders

Property	Value
dbo:description	technique for the representation of abstract syntax trees in languages with variable binders (en)
dbo:wikiPageExternalLink	http://www.barzilay.org/misc/hoas-paper.pdf http://www.tcs.informatik.uni-muenchen.de/~mhofmann/lics99hoas.ps.gz http://www.site.uottawa.ca/~afelty/dist/tlca95.ps http://scheme2006.cs.uchicago.edu/15-barzilay.pdf https://web.archive.org/web/20060830033826/http:/www.site.uottawa.ca/~afelty/dist/tlca95.ps https://web.archive.org/web/20061011010143/http:/www.barzilay.org/misc/hoas-paper.pdf
dbo:wikiPageWikiLink	dbc:Dependently_typed_programming dbr:Parametric_higher-order_abstract_syntax dbr:Λ-tree_syntax dbc:Logic_programming dbr:Lambda_calculus dbr:Mathematical_object dbr:Compiler dbc:Programming_language_theory dbr:Abstract_syntax_tree dbr:Lecture_Notes_in_Computer_Science dbr:Canonical_form dbr:Metalanguage dbr:Boilerplate_code dbr:De_Bruijn_index dbr:Computer_science dbc:Type_theory dbr:International_Conference_on_Functional_Programming dbr:Logical_framework dbr:Twelf dbr:Edge_(graph_theory) dbr:Graph_(discrete_mathematics) dbr:Generalized_algebraic_data_type dbr:ΛProlog dbr:Scope_(programming) dbr:LF_(logical_framework) dbr:Name_binding dbr:First-order_abstract_syntax dbr:Lisp_programming_language dbr:Theorem_Proving_in_Higher-Order_Logics dbr:Concrete_syntax dbr:IEEE_Symposium_on_Logic_in_Computer_Science
dbp:wikiPageUsesTemplate	dbt:Sxhl dbt:Cite_book dbt:Reflist dbt:Cite_conference dbt:More_footnotes
dct:subject	dbc:Dependently_typed_programming dbc:Logic_programming dbc:Programming_language_theory dbc:Type_theory
gold:hypernym	dbr:Technique
rdfs:label	Higher-order abstract syntax (en)
owl:sameAs	freebase:Higher-order abstract syntax wikidata:Higher-order abstract syntax dbpedia-global:Higher-order abstract syntax
prov:wasDerivedFrom	wikipedia-en:Higher-order_abstract_syntax?oldid=1193617257&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Higher-order_abstract_syntax
is dbo:wikiPageDisambiguates of	dbr:HOAS
is dbo:wikiPageRedirects of	dbr:Higher_order_abstract_syntax
is dbo:wikiPageWikiLink of	dbr:Nominal_terms_(computer_science) dbr:Abstract_syntax dbr:HOAS dbr:De_Bruijn_index dbr:Scope_(computer_science) dbr:TreeDL dbr:Twelf dbr:Generalized_algebraic_data_type dbr:ΛProlog dbr:Name_binding dbr:Higher_order_abstract_syntax
is foaf:primaryTopic of	wikipedia-en:Higher-order_abstract_syntax