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.
I've also now reviewed the AfD comments. It seems that no reason was given for why Alice ML was notable beyond it's inclusion and reference in other articles. The proposer was clearly knowledgable about the subject and had reviewed the available literature. The deletion consideration seemed logical and well founded. The failure if there was one was there not being someone else who knew the subject matter and could provide a good reason for inclusion.