ML with PTIME complexity guarantees.

Jacek Chrzaszcz, Aleksy Schubert

Browse the full CSL paper archive.