33 points by romes
Cheers Rodrigo, nice to see you work on this!
Congratulations! Publishing at POPL is not bad.