Expressing Polymorphic Types in a Many-Sorted Language (2011)

by François Bobot , Andrei Paskevich
Citations:10 - 1 self