Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism.

Patrycja Balik, Szymon Jedras, Piotr Polesiuk

Browse the full ESOP paper archive.