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. Topic is discussed in the 2002 book, Knowledge Media in Healthcare, ISBN 1930708130. Also discussed in Thompson, Simon. (1997). Constructive interval temporal logic in Alf''. In International Conference on Temporal Logic .Applied Logic. Kluwer. —Viriditas | Talk 01:52, 13 June 2007 (UTC)[reply]