, dependent type
theory is a formalism which has proved its worth as a foundation of mathematics, as witnessed by the success of several proof... and functional programming, the articulation between dependent type
theory, imperative programming (control operators, memory... -
Voir cette offre d'emploi