18:12:56alandipertit turned out that https://github.com/cxxxr/valtan already performs the tagbody optimization on which i claim novelty in my JACL paper, but the ELS chair has graciously suggested i convert to a 'demonstration' paper. if anyone has suggestions of great demo papers to read, i'd love to see them
20:03:34ShinmeraI know of demo papers but not of great ones