3 ms·I have no idea, really. If I would, I would try to submit a paper to POPL or so.by choeger 4y agoI have no idea, really. If I would, I would try to submit a paper to POPL or so.