Filter models with polymorphic types (1992)

by B Jacobs, I Margaria, M Zacchi
Venue:Theoretical Computer Science