Extensions of F with Decidable Typing. Technical Report CRIN-- 94--R--127, Centre de Recherche en Informatique de Nancy (1994)

by S Vorobyov