[kant2002]

Is this Mistery this Mistery [1]?

[1] https://blog.brownplt.org/2018/07/05/mystery-languages.html

[sanderjd]

Nope, but if you click into their paper[0] and follow the link to PL-Detective[1] there, that's the one! (Hat tip to another commenter who was also familiar with this.)

0: https://cs.brown.edu/~sk/Publications/Papers/Published/pkf-t...

1: https://dl.acm.org/doi/10.1145/1086339.1086340