Polymorphism Meets DHOL.

Rhea Ranalter, Florian Rabe, Cezary Kaliszyk

Browse the full FSCD paper archive.