A Semi-Polymorphic Approach to the Interpretation of