Wikipedia:Articles for deletion/ALF (programming language)

ALF (programming language)

No mention of its notability. The only results I can find via google are this page, the answers.com version of this page and the linked author's page. Delete it as non-notable. Localzuk^(talk) 14:51, 12 June 2007 (UTC)[reply]

Delete nn. JJL 17:19, 12 June 2007 (UTC)[reply]
Delete, non-notable, and no sources. *Cremepuff 222* 21:21, 12 June 2007 (UTC)[reply]
Strong keep. Notable topic in computer science. Appears in at least eight published papers and in dozens of books. Preponderance of reliable sources is unquestionable. It is currently listed at the CMU Artificial Intelligence Repository. Topic is discussed in the 2002 book, Knowledge Media in Healthcare, ISBN 1930708130, as well as the 1995 publication, Intelligent Agents, ISBN 3540588558, and the 1997 publication by MIT Press, Logic Programming, ISBN 0262631806. Boley calls ALF a "typical current proposal in the field of extended, declarative programming" and describes it a 1999 publication entitled, A Tight, Practical Integration of Relations and Functions, ISBN 3540666443. Also discussed in Thompson, Simon. (1997). Constructive interval temporal logic in Alf. In International Conference on Temporal Logic .Applied Logic. Kluwer, Hanus; also M. and A. Schwab. (1991). The Implementation of the Functional-Logic Language ALF. FB Informatik, Univ. Dortmund. —Viriditas | Talk 01:54, 13 June 2007 (UTC)[reply]
Delete. I've read elsewhere that people have been having trouble finding third-party sources for this. SlimVirgin ^(talk) 01:57, 13 June 2007 (UTC)[reply]
Delete. Can't find any reliable sources showing notability as a real language. There are lots of created languages that get written up in some obscure paper, and the language is never actually used for any real projects. Crum375 02:06, 13 June 2007 (UTC)[reply]
Delete - published papers cited above are all by the creator of the language. The books linked all appear to be conference proceedings: probably with reprints of papers by the creator. The other claims are more difficult to verify but at the moment independent sources appear to be missing. -- BPMullins | Talk 02:27, 13 June 2007 (UTC)[reply]
Keep. Google scholar lists ~120 papers related in some way to ALF. Many of these are trivial mentions but Compiling Logic Programs with Equality (one of Hanus' papers) is not and has 71 citations. Another of Hanus' ALF papers, Improving Control of Logic Programs by Using Functional Logic Languages, has an additional 29 citations. These are not amazing cite numbers but they're pretty good; enough, I think, to establish notability. —David Eppstein 07:10, 13 June 2007 (UTC)[reply]