A.: Expressing polymorphic types in a many-sorted language (2011)

by F Bobot, Paskevich
Venue:FroCoS 2011. LNCS