3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
Paolo Pistone, Luca Tranchini
Due to the undecidability of most type-related properties of System F like type inhabitation or type checking, restricted polymorphic systems have been widely investigated (the mos…