3 ms·Proceedings in POPL or PLDI will have plenty of papers with this stuff.by UncleMeat 3y agoProceedings in POPL or PLDI will have plenty of papers with this stuff.