A Cost-Aware Logical Framefork
HARPER Robert
The computational view of intuitionistic dependent type theory is as an intrinsic logic of (functional) programs in which types are viewed as specifications of their behavior. Equational reasoning is
Langages de programmation -- Syntaxe
Vidéos
Production de ressources de qualité et motivation
HOARAU Sébastien
Causeries de la pedagogie : enseignement et innovation 6
La classe inversée pour apprendre la programmation
HOARAU Sébastien
SEBASTIEN Didier
Causeries de la pédagogie : enseignement et innovation 5