Higher-order abstract syntax

http://dbpedia.org/resource/Higher-order_abstract_syntax an entity of type: TopicalConcept

In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders. rdf:langString
rdf:langString Higher-order abstract syntax
xsd:integer 2636072
xsd:integer 1096261159
rdf:langString In computer science, higher-order abstract syntax (abbreviated HOAS) is a technique for the representation of abstract syntax trees for languages with variable binders.
xsd:nonNegativeInteger 9219
dbpedia-owl:TopicalConcept
dbpedia:Category:Dependently_typed_programming
dbpedia:Category:Logic_programming
dbpedia:Category:Programming_language_theory
dbpedia:Category:Type_theory
dbpedia:De_Bruijn_index
dbpedia:International_Conference_on_Functional_Programming
dbpedia:Compiler
dbpedia:Generalized_algebraic_data_type
dbpedia:Mathematical_object
dbpedia:Graph_(discrete_mathematics)
dbpedia:Concrete_syntax
dbpedia:Boilerplate_code
dbpedia:Computer_science
dbpedia:Lecture_Notes_in_Computer_Science
dbpedia:Edge_(graph_theory)
dbpedia:Category:Dependently_typed_programming
dbpedia:First-order_abstract_syntax
dbpedia:Logical_framework
dbpedia:Twelf
dbpedia:Category:Logic_programming
dbpedia:Abstract_syntax_tree
dbpedia:Category:Programming_language_theory
dbpedia:Category:Type_theory
dbpedia:LF_(logical_framework)
dbpedia:Lambda_calculus
dbpedia:IEEE_Symposium_on_Logic_in_Computer_Science
dbpedia:Metalanguage
dbpedia:Canonical_form
dbpedia:Name_binding
dbpedia:ΛProlog
dbpedia:Scope_(programming)
dbpedia:Lisp_programming_language
dbpedia:Theorem_Proving_in_Higher-Order_Logics
dbpedia:Parametric_higher-order_abstract_syntax
dbpedia:Λ-tree_syntax
<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>
<http://rdf.freebase.com/ns/m.07tcby>
<http://www.wikidata.org/entity/Q5757956>
<https://global.dbpedia.org/id/4mY1Y>
dbpedia:Template:Cite_book
dbpedia:Template:Cite_conference
dbpedia:Template:More_footnotes
dbpedia:Template:Reflist
dbpedia:Template:Sxhl
dbpedia:Technique
<http://en.wikipedia.org/wiki/Higher-order_abstract_syntax?oldid=1096261159&ns=0>
<http://en.wikipedia.org/wiki/Higher-order_abstract_syntax>

data from the linked data cloud