Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Higher-order_abstract_syntax> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items 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 pldi88.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink ltrees.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink slp87.pdf.
- Higher-order_abstract_syntax wikiPageExternalLink tlca95.ps.
- Higher-order_abstract_syntax wikiPageExternalLink lics99hoas.ps.gz.
- Higher-order_abstract_syntax wikiPageID "2636072".
- Higher-order_abstract_syntax wikiPageRevisionID "602570445".
- Higher-order_abstract_syntax hasPhotoCollection Higher-order_abstract_syntax.
- 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 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=602570445.
- Higher-order_abstract_syntax isPrimaryTopicOf Higher-order_abstract_syntax.