C. B. Aberlé

Découvre les bases et l'importance de la théorie des types dépendants en informatique.

Explore comment la parametricité et la cohésion façonnent des systèmes de types fiables.