Talk:Higher-order abstract syntax
![]() | This article is rated C-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||||||||||||
|
Structure of the article
editI 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:
- define higher-order abstract syntax
- show how it relates to first-order abstract syntax
I think it is better to split these concepts. -- eboy 16:43, 11 October 2006 (UTC)
Use in logical frameworks
editI 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
editHello 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.
This message was posted before February 2018. After February 2018, "External links modified" talk page sections are no longer generated or monitored by InternetArchiveBot. No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below. Editors have permission to delete these "External links modified" talk page sections if they want to de-clutter talk pages, but see the RfC before doing mass systematic removals. This message is updated dynamically through the template {{source check}}
(last update: 5 June 2024).
- If you have discovered URLs which were erroneously considered dead by the bot, you can report them with this tool.
- If you found an error with any archives or the URLs themselves, you can fix them with this tool.
Cheers.—InternetArchiveBot (Report bug) 07:11, 2 April 2017 (UTC)