Synthèse de programmes déductive

Système de types dépendants

Système où les types peuvent dépendre de valeurs, permettant d'exprimer des propriétés complexes directement dans le système de types et d'assurer la correction au niveau du typage.

← 返回