2
Recherche sur l'inférence de type basée sur le site d'appel?
J'essaie d'en savoir plus sur les systèmes de vérification de type de programme complet et d'inférence de type qui utilisent les informations des sites d'appel de fonction pour calculer les informations de type (en plus de l'approche standard d'utilisation du corps de fonction). Par exemple, un tel algorithme pourrait utiliser …