Une théorie des types à deux niveaux relie les preuves logiques et la programmation pratique.
― 9 min lire
La science de pointe expliquée simplement
Une théorie des types à deux niveaux relie les preuves logiques et la programmation pratique.
― 9 min lire