Filter Models with Polymorphic Types (1992)

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