About: http://dbpedia.org/resource/Higher-order_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.

Property	Value
dbpprop: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.
dbpprop:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Higher-order_abstract_syntax
rdfs: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.
rdfs:label	Higher-order abstract syntax
owl:sameAs	freebase:http://dbpedia.org/resource/Higher-order_abstract_syntax
skos:subject	dbpedia:Category:Logic_programming dbpedia:Category:Type_theory
foaf:page	http://en.wikipedia.org/wiki/Higher-order_abstract_syntax
is dbpprop:redirect of	dbpedia:Higher_order_abstract_syntax

About: http://dbpedia.org/resource/Higher-order_abstract_syntax