So who is @isomorphisms?

Also, on the topic of this channel: result as expected. What now?

The introduction should be revised. I’d appreciate someone else taking a stab first.

For what audience?

Pldi/icfp/popl

Probably refining the thesis, maybe title, following our author response

PLDI deadline in 1 month. I guess that’s what we aim for? Can we fit in 12 pages ACM 10 point? Might be mighty tight.

We’re already having difficulties with the current length, if we have to cut even more, I’m afraid the paper will make no sense at all to anyone but ourselves.

I don’t mind giving a stab at the introduction. But if work needs done on the evaluation, I’m still out of my depth there.

And that seems to be where the experts, again, skewered us most deeply.