Recursive Polymorphic Types and Parametricity in an Operational Framework (2005)

by Paul-André Melliès , Jérôme Vouillon
Citations:22 - 1 self