Talk:Higher-order abstract syntax

Structure of the article
I have just restructured the article using the current text only (no additions or removals), but it is still not optimal. I have named the first section Relation to first-order abstract syntax, but it has two purposes: I think it is better to split these concepts. -- eboy 16:43, 11 October 2006 (UTC)
 * define higher-order abstract syntax
 * show how it relates to first-order abstract syntax

Use in logical frameworks
I think the first sentence of this section is overly broad. Simply using metalevel binders for object level binding isn't sufficient to classify as "higher-order abstract syntax". For instance, this metalevel binding technique is used widely in nominal term embeddings, yet nominal embeddings are first-order, not higher-order.

In fact, the article doesn't make clear what, to me, is the defining feature of HOAS and what sets HOAS apart from nominal embeddings and de Bruijn levels: the use of function spaces for modeling binding. You have to scroll three quarters of the article length until you come to some hint as to why HOAS includes "higher-order" in the name. DPMulligan (talk) 10:12, 14 May 2010 (UTC)

External links modified
Hello fellow Wikipedians,

I have just modified 3 external links on Higher-order abstract syntax. Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
 * Added archive https://web.archive.org/web/20060830033826/http://www.site.uottawa.ca/~afelty/dist/tlca95.ps to http://www.site.uottawa.ca/~afelty/dist/tlca95.ps
 * Added archive https://web.archive.org/web/20061202063607/http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ltrees.pdf to http://www.lix.polytechnique.fr/Labo/Dale.Miller/papers/ltrees.pdf
 * Added archive https://web.archive.org/web/20061011010143/http://www.barzilay.org/misc/hoas-paper.pdf to http://www.barzilay.org/misc/hoas-paper.pdf

When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.

Cheers.— InternetArchiveBot  (Report bug) 07:11, 2 April 2017 (UTC)