What's Decidable About (Atomic) Polymorphism?

Paolo Pistone, Luca Tranchini

Browse the full FSCD paper archive.