5 ms·

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

• sanderjd 3y ago
  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-teach-pl-exp-adv-think/ https://cs.brown.edu/~sk/Publications/Papers/Published/pkf-t... 1: https://dl.acm.org/doi/10.1145/1086339.1086340 https://dl.acm.org/doi/10.1145/1086339.1086340