Earlier quoted context omitted.
Of course I've done a Google Scholar search for Alice ML. There is roughly one admissible source -- "Through the looking glass" in Trends in Functional Programming. Small workshop paper, 12 citations according to CiteSeer. Doesn't show up in the ACM Digital Library. There are a number of other papers on Saarland University's website, but they are either 1) not peer reviewed (tech reports) 2) not cited or 3) not actua…
35 citations according to Google Scholar. So to count for notability: - An article can't be from a workshop? - It must solely be about a topic? - It must be peer reviewed? At this point you must acknowledge that your own complicated rules for notability have diverged a long way from those stated anywhere else.
But the other criteria are silly.
Is Strachey's non-mainstream but very influential GPM notable? It has only one journal article about it, with a paltry 65 Google Scholar cites, and the other articles that mention it are all mostly concerned with something else.